Add kind equalities to GHC.
[ghc.git] / testsuite / tests / ado / ado004.stderr
1 TYPE SIGNATURES
2   test1 ::
3     forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
4   test2 ::
5     forall (f :: * -> *) b a.
6     (Num b, Num a, Applicative f) =>
7     (a -> f b) -> f b
8   test3 ::
9     forall (m :: * -> *) a a1 a2.
10     (Monad m, Num a2) =>
11     (a2 -> m a1) -> (a1 -> a1 -> m a) -> m a
12   test4 ::
13     forall (m :: * -> *) a a1 a2.
14     (Monad m, Num a2) =>
15     (a2 -> m a1) -> (a1 -> a1 -> m a) -> m a
16   test5 ::
17     forall (m :: * -> *) a a1 a2.
18     (Monad m, Num a2) =>
19     (a2 -> m a1) -> (a1 -> a1 -> m a) -> m a
20   test6 ::
21     forall r (m :: * -> *) a.
22     (Monad m, Num (m a)) =>
23     (m a -> m (m a)) -> r -> m a
24 TYPE CONSTRUCTORS
25 COERCION AXIOMS
26 Dependent modules: []
27 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
28                      integer-gmp-1.0.0.0]