@@ -18,7 +18,7 @@ Type Classes
1818
1919 class Applicative f where
2020 pure :: forall a. a -> f a
21− (<*>) :: forall b. forall a. f (a -> b) -> f a -> f b
21+ (<*>) :: forall a b. f (a -> b) -> f a -> f b
2222
2323 class Bits b where
2424 (&) :: b -> b -> b
@@ -36,19 +36,19 @@ Type Classes
3636
3737 class Category a where
3838 id :: forall t. a t t
39− (<<<) :: forall d. forall c. forall b. a c d -> a b c -> a b d
40− (>>>) :: forall d. forall c. forall b. a b c -> a c d -> a b d
39+ (<<<) :: forall b c d. a c d -> a b c -> a b d
40+ (>>>) :: forall b c d. a b c -> a c d -> a b d
4141
4242 class Eq a where
4343 (==) :: a -> a -> Prim.Boolean
4444 (/=) :: a -> a -> Prim.Boolean
4545
4646 class Functor f where
47− (<$>) :: forall b. forall a. (a -> b) -> f a -> f b
47+ (<$>) :: forall a b. (a -> b) -> f a -> f b
4848
4949 class Monad m where
5050 return :: forall a. a -> m a
51− (>>=) :: forall b. forall a. m a -> (a -> m b) -> m b
51+ (>>=) :: forall a b. m a -> (a -> m b) -> m b
5252
5353 class Num a where
5454 (+) :: a -> a -> a
@@ -116,9 +116,9 @@ Values
116116
117117 (!!) :: forall a. [a] -> Prim.Number -> a
118118
119− (#) :: forall b. forall a. a -> (a -> b) -> b
119+ (#) :: forall a b. a -> (a -> b) -> b
120120
121− ($) :: forall b. forall a. (a -> b) -> a -> b
121+ ($) :: forall a b. (a -> b) -> a -> b
122122
123123 (++) :: Prim.String -> Prim.String -> Prim.String
124124
@@ -128,9 +128,9 @@ Values
128128
129129 boolOr :: Prim.Boolean -> Prim.Boolean -> Prim.Boolean
130130
131− const :: forall b. forall a. a -> b -> a
131+ const :: forall a b. a -> b -> a
132132
133− flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
133+ flip :: forall a b c. (a -> b -> c) -> b -> a -> c
134134
135135 numAdd :: Prim.Number -> Prim.Number -> Prim.Number
136136
@@ -203,7 +203,7 @@ Values
203203
204204::
205205
206− mconcat :: forall m. (Monoid (m)) => [m] -> m
206+ mconcat :: forall m. (Monoid m) => [m] -> m
207207
208208Module Control.Monad
209209--------------------
@@ -222,23 +222,23 @@ Values
222222
223223::
224224
225− (<=<) :: forall c. forall b. forall a. forall m. (Monad (m)) => (b -> m c) -> (a -> m b) -> a -> m c
225+ (<=<) :: forall m a b c. (Monad m) => (b -> m c) -> (a -> m b) -> a -> m c
226226
227− (>=>) :: forall c. forall b. forall a. forall m. (Monad (m)) => (a -> m b) -> (b -> m c) -> a -> m c
227+ (>=>) :: forall m a b c. (Monad m) => (a -> m b) -> (b -> m c) -> a -> m c
228228
229− foldM :: forall b. forall a. forall m. (Monad (m)) => (a -> b -> m a) -> a -> [b] -> m a
229+ foldM :: forall m a b. (Monad m) => (a -> b -> m a) -> a -> [b] -> m a
230230
231− join :: forall a. forall m. (Monad (m)) => m (m a) -> m a
231+ join :: forall m a. (Monad m) => m (m a) -> m a
232232
233− mapM :: forall b. forall a. forall m. (Monad (m)) => (a -> m b) -> [a] -> m [b]
233+ mapM :: forall m a b. (Monad m) => (a -> m b) -> [a] -> m [b]
234234
235− replicateM :: forall a. forall m. (Monad (m)) => Prim.Number -> m a -> m [a]
235+ replicateM :: forall m a. (Monad m) => Prim.Number -> m a -> m [a]
236236
237− sequence :: forall a. forall m. (Monad (m)) => [m a] -> m [a]
237+ sequence :: forall m a. (Monad m) => [m a] -> m [a]
238238
239− when :: forall m. (Monad (m)) => Prim.Boolean -> m { } -> m { }
239+ when :: forall m. (Monad m) => Prim.Boolean -> m { } -> m { }
240240
241− zipWithM :: forall c. forall b. forall a. forall m. (Monad (m)) => (a -> b -> m c) -> [a] -> [b] -> m [c]
241+ zipWithM :: forall m a b c. (Monad m) => (a -> b -> m c) -> [a] -> [b] -> m [c]
242242
243243Module Data.Maybe
244244-----------------
@@ -275,7 +275,7 @@ Values
275275
276276 fromMaybe :: forall a. a -> Maybe a -> a
277277
278− maybe :: forall b. forall a. b -> (a -> b) -> Maybe a -> b
278+ maybe :: forall a b. b -> (a -> b) -> Maybe a -> b
279279
280280Module Data.Either
281281------------------
@@ -310,7 +310,7 @@ Values
310310
311311::
312312
313− either :: forall c. forall b. forall a. (a -> c) -> (b -> c) -> Either a b -> c
313+ either :: forall a b c. (a -> c) -> (b -> c) -> Either a b -> c
314314
315315Module Data.Array
316316-----------------
@@ -347,7 +347,7 @@ Values
347347
348348 concat :: forall a. [a] -> [a] -> [a]
349349
350− concatMap :: forall b. forall a. [a] -> (a -> [b]) -> [b]
350+ concatMap :: forall a b. [a] -> (a -> [b]) -> [b]
351351
352352 deleteAt :: forall a. Prim.Number -> Prim.Number -> [a] -> [a]
353353
@@ -357,9 +357,9 @@ Values
357357
358358 find :: forall a. (a -> Prim.Boolean) -> [a] -> Maybe a
359359
360− foldl :: forall b. forall a. (b -> a -> b) -> b -> [a] -> b
360+ foldl :: forall a b. (b -> a -> b) -> b -> [a] -> b
361361
362− foldr :: forall b. forall a. (a -> b -> a) -> a -> [b] -> a
362+ foldr :: forall a b. (a -> b -> a) -> a -> [b] -> a
363363
364364 head :: forall a. [a] -> Maybe a
365365
@@ -377,7 +377,7 @@ Values
377377
378378 length :: forall a. [a] -> Prim.Number
379379
380− map :: forall b. forall a. (a -> b) -> [a] -> [b]
380+ map :: forall a b. (a -> b) -> [a] -> [b]
381381
382382 push :: forall a. [a] -> a -> [a]
383383
@@ -399,7 +399,7 @@ Values
399399
400400 updateAt :: forall a. Prim.Number -> a -> [a] -> [a]
401401
402− zipWith :: forall c. forall b. forall a. (a -> b -> c) -> [a] -> [b] -> [c]
402+ zipWith :: forall a b c. (a -> b -> c) -> [a] -> [b] -> [c]
403403
404404Module Data.Eq
405405--------------
@@ -427,7 +427,7 @@ Values
427427
428428::
429429
430− liftRef :: forall b. forall a. (a -> a -> b) -> Ref a -> Ref a -> b
430+ liftRef :: forall a b. (a -> a -> b) -> Ref a -> Ref a -> b
431431
432432 refEq :: forall a. Ref a -> Ref a -> Prim.Boolean
433433
@@ -480,13 +480,13 @@ Values
480480
481481::
482482
483− curry :: forall c. forall b. forall a. (Tuple a b -> c) -> a -> b -> c
483+ curry :: forall a b c. (Tuple a b -> c) -> a -> b -> c
484484
485− uncurry :: forall c. forall b. forall a. (a -> b -> c) -> Tuple a b -> c
485+ uncurry :: forall a b c. (a -> b -> c) -> Tuple a b -> c
486486
487− unzip :: forall b. forall a. [Tuple a b] -> Tuple [a] [b]
487+ unzip :: forall a b. [Tuple a b] -> Tuple [a] [b]
488488
489− zip :: forall b. forall a. [a] -> [b] -> [Tuple a b]
489+ zip :: forall a b. [a] -> [b] -> [Tuple a b]
490490
491491Module Data.String
492492------------------
@@ -652,13 +652,13 @@ Values
652652
653653 log2e :: Prim.Number
654654
655− max :: Prim.Number -> Prim.Number
655+ max :: Prim.Number -> Prim.Number -> Prim.Number
656656
657− min :: Prim.Number -> Prim.Number
657+ min :: Prim.Number -> Prim.Number -> Prim.Number
658658
659659 pi :: Prim.Number
660660
661− pow :: Prim.Number -> Prim.Number
661+ pow :: Prim.Number -> Prim.Number -> Prim.Number
662662
663663 round :: Prim.Number -> Prim.Number
664664
@@ -699,19 +699,19 @@ Values
699699
700700::
701701
702− bindEff :: forall b. forall a. forall e. Eff e a -> (a -> Eff e b) -> Eff e b
702+ bindEff :: forall e a b. Eff e a -> (a -> Eff e b) -> Eff e b
703703
704704 forE :: forall e. Prim.Number -> Prim.Number -> (Prim.Number -> Eff e { }) -> Eff e { }
705705
706− foreachE :: forall a. forall e. [a] -> (a -> Eff e { }) -> Eff e { }
706+ foreachE :: forall e a. [a] -> (a -> Eff e { }) -> Eff e { }
707707
708− retEff :: forall a. forall e. a -> Eff e a
708+ retEff :: forall e a. a -> Eff e a
709709
710710 runPure :: forall a. Pure a -> a
711711
712712 untilE :: forall e. Eff e Prim.Boolean -> Eff e { }
713713
714− whileE :: forall a. forall e. Eff e Prim.Boolean -> Eff e a -> Eff e { }
714+ whileE :: forall e a. Eff e Prim.Boolean -> Eff e a -> Eff e { }
715715
716716Module Control.Monad.Eff.Unsafe
717717-------------------------------
@@ -730,7 +730,7 @@ Values
730730
731731::
732732
733− unsafeInterleaveEff :: forall a. forall eff2. forall eff1. Eff eff1 a -> Eff eff2 a
733+ unsafeInterleaveEff :: forall eff1 eff2 a. Eff eff1 a -> Eff eff2 a
734734
735735Module Random
736736-------------
@@ -776,9 +776,9 @@ Values
776776
777777::
778778
779− catchError :: forall a. forall r. forall e. (e -> Eff r a) -> Eff (err :: Error e | r) a -> Eff r a
779+ catchError :: forall e r a. (e -> Eff r a) -> Eff (err :: Error e | r) a -> Eff r a
780780
781− throwError :: forall r. forall e. forall a. e -> Eff (err :: Error e | r) a
781+ throwError :: forall a e r. e -> Eff (err :: Error e | r) a
782782
783783Module Data.IORef
784784-----------------
@@ -803,15 +803,15 @@ Values
803803
804804::
805805
806− modifyIORef :: forall r. forall s. IORef s -> (s -> s) -> Eff (ref :: Ref | r) { }
806+ modifyIORef :: forall s r. IORef s -> (s -> s) -> Eff (ref :: Ref | r) { }
807807
808− newIORef :: forall r. forall s. s -> Eff (ref :: Ref | r) (IORef s)
808+ newIORef :: forall s r. s -> Eff (ref :: Ref | r) (IORef s)
809809
810− readIORef :: forall r. forall s. IORef s -> Eff (ref :: Ref | r) s
810+ readIORef :: forall s r. IORef s -> Eff (ref :: Ref | r) s
811811
812− unsafeRunIORef :: forall a. forall eff. Eff (ref :: Ref | eff) a -> Eff eff a
812+ unsafeRunIORef :: forall eff a. Eff (ref :: Ref | eff) a -> Eff eff a
813813
814− writeIORef :: forall r. forall s. IORef s -> s -> Eff (ref :: Ref | r) { }
814+ writeIORef :: forall s r. IORef s -> s -> Eff (ref :: Ref | r) { }
815815
816816Module Debug.Trace
817817------------------
@@ -834,7 +834,7 @@ Values
834834
835835::
836836
837− print :: forall r. forall a. (Show (a)) => a -> Eff (trace :: Trace | r) { }
837+ print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) { }
838838
839839 trace :: forall r. Prim.String -> Eff (trace :: Trace | r) { }
840840
@@ -863,23 +863,23 @@ Values
863863
864864::
865865
866− modifySTRef :: forall r. forall h. forall a. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
866+ modifySTRef :: forall a h r. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
867867
868− newSTArray :: forall r. forall h. forall a. Prim.Number -> a -> Eff (st :: ST h | r) (STArray h a)
868+ newSTArray :: forall a h r. Prim.Number -> a -> Eff (st :: ST h | r) (STArray h a)
869869
870− newSTRef :: forall r. forall h. forall a. a -> Eff (st :: ST h | r) (STRef h a)
870+ newSTRef :: forall a h r. a -> Eff (st :: ST h | r) (STRef h a)
871871
872− peekSTArray :: forall r. forall h. forall a. STArray h a -> Eff (st :: ST h | r) a
872+ peekSTArray :: forall a h r. STArray h a -> Eff (st :: ST h | r) a
873873
874− pokeSTArray :: forall r. forall h. forall a. STArray h a -> Prim.Number -> a -> Eff (st :: ST h | r) a
874+ pokeSTArray :: forall a h r. STArray h a -> Prim.Number -> a -> Eff (st :: ST h | r) a
875875
876− readSTRef :: forall r. forall h. forall a. STRef h a -> Eff (st :: ST h | r) a
876+ readSTRef :: forall a h r. STRef h a -> Eff (st :: ST h | r) a
877877
878− runST :: forall r. forall a. forall h. Eff (st :: ST h | r) a -> Eff r a
878+ runST :: forall a r. forall h. Eff (st :: ST h | r) a -> Eff r a
879879
880− runSTArray :: forall r. forall a. forall h. Eff (st :: ST h | r) (STArray h a) -> Eff r [a]
880+ runSTArray :: forall a r. forall h. Eff (st :: ST h | r) (STArray h a) -> Eff r [a]
881881
882− writeSTRef :: forall r. forall h. forall a. STRef h a -> a -> Eff (st :: ST h | r) a
882+ writeSTRef :: forall a h r. STRef h a -> a -> Eff (st :: ST h | r) a
883883
884884Module Data.Enum
885885----------------