Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / ado / ado004.stderr
1 TYPE SIGNATURES
2   test1 ::
3     forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
4   test1a ::
5     forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
6   test2 ::
7     forall (f :: * -> *) t b.
8     (Num b, Num t, Applicative f) =>
9     (t -> f b) -> f b
10   test2a ::
11     forall (f :: * -> *) t b.
12     (Num b, Num t, Functor f) =>
13     (t -> f b) -> f b
14   test2b ::
15     forall (m :: * -> *) t a. (Num t, Monad m) => (t -> a) -> m a
16   test2c ::
17     forall (f :: * -> *) t b.
18     (Num b, Num t, Functor f) =>
19     (t -> f b) -> f b
20   test3 ::
21     forall (m :: * -> *) t1 t2 a.
22     (Num t1, Monad m) =>
23     (t1 -> m t2) -> (t2 -> t2 -> m a) -> m a
24   test4 ::
25     forall (m :: * -> *) t a1 a2.
26     (Num t, Monad m) =>
27     (t -> m a1) -> (a1 -> a1 -> m a2) -> m a2
28   test5 ::
29     forall (m :: * -> *) t a1 a2.
30     (Num t, Monad m) =>
31     (t -> m a1) -> (a1 -> a1 -> m a2) -> m a2
32   test6 ::
33     forall (m :: * -> *) a p.
34     (Num (m a), Monad m) =>
35     (m a -> m (m a)) -> p -> m a
36 TYPE CONSTRUCTORS
37 COERCION AXIOMS
38 Dependent modules: []
39 Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
40                      integer-gmp-1.0.0.1]