@@ -27,9 +27,9 @@
2727 (>>=) :: forall a b. m a -> (a -> m b) -> m b
2828
2929 class Bits b where
30− (&) :: b -> b -> b
31− (|) :: b -> b -> b
32− (^) :: b -> b -> b
30+ (.&.) :: b -> b -> b
31+ (.|.) :: b -> b -> b
32+ (.^.) :: b -> b -> b
3333 shl :: b -> Number -> b
3434 shr :: b -> Number -> b
3535 zshr :: b -> Number -> b
@@ -146,6 +146,8 @@
146146
147147 (:) :: forall a. a -> [a] -> [a]
148148
149+ (<#>) :: forall f a b. (Functor f) => f a -> (a -> b) -> f b
150+
149151 (<) :: forall a. (Ord a) => a -> a -> Boolean
150152
151153 (<=) :: forall a. (Ord a) => a -> a -> Boolean
@@ -170,6 +172,8 @@
170172
171173 liftM1 :: forall m a b. (Monad m) => (a -> b) -> m a -> m b
172174
175+ otherwise :: Boolean
176+
173177 refEq :: forall a. a -> a -> Boolean
174178
175179 refIneq :: forall a. a -> a -> Boolean
@@ -262,7 +266,7 @@
262266### Types
263267
264268 newtype Ref a where
265− Ref :: a -> Ref
269+ Ref :: a -> Ref a
266270
267271
268272### Type Class Instances
@@ -350,8 +354,6 @@
350354
351355 data ST :: * -> !
352356
353− data STArray :: * -> * -> *
354−
355357 data STRef :: * -> * -> *
356358
357359
@@ -359,22 +361,14 @@
359361
360362 modifySTRef :: forall a h r. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
361363
362− newSTArray :: forall a h r. Number -> a -> Eff (st :: ST h | r) (STArray h a)
363−
364364 newSTRef :: forall a h r. a -> Eff (st :: ST h | r) (STRef h a)
365365
366− peekSTArray :: forall a h r. STArray h a -> Number -> Eff (st :: ST h | r) a
367−
368− pokeSTArray :: forall a h r. STArray h a -> Number -> a -> Eff (st :: ST h | r) a
366+ pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a
369367
370368 readSTRef :: forall a h r. STRef h a -> Eff (st :: ST h | r) a
371369
372370 runST :: forall a r. (forall h. Eff (st :: ST h | r) a) -> Eff r a
373371
374− pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a
375−
376− runSTArray :: forall a r. (forall h. Eff (st :: ST h | r) (STArray h a)) -> Eff r [a]
377−
378372 writeSTRef :: forall a h r. STRef h a -> a -> Eff (st :: ST h | r) a
379373
380374