base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[ghc.git] / testsuite / tests / dependent / should_compile / T15743e.stderr
1 TYPE CONSTRUCTORS
2   data type T{14} ::
3     forall {k1} {k2} {k3} (k4 :: k2) k5. forall k6 ->
4     k6
5     -> Proxy k4
6     -> (k3 -> *)
7     -> k3
8     -> forall (k7 :: k1). Proxy k7 -> forall (k8 :: k5). Proxy k8 -> *
9     roles nominal
10           nominal
11           nominal
12           nominal
13           nominal
14           nominal
15           phantom
16           phantom
17           representational
18           nominal
19           nominal
20           phantom
21           nominal
22           phantom
23   data type T2{14} ::
24     forall {k1} {k2} (k3 :: k2) k7. forall k4 ->
25     k4
26     -> Proxy k3
27     -> (k7 -> *)
28     -> k7
29     -> forall (k5 :: k1).
30        Proxy k5 -> forall k6 (k8 :: k6). Proxy k8 -> *
31     roles nominal
32           nominal
33           nominal
34           nominal
35           nominal
36           phantom
37           phantom
38           representational
39           nominal
40           nominal
41           phantom
42           nominal
43           nominal
44           phantom
45 DATA CONSTRUCTORS
46   MkT2 :: forall {k7} {k1} {k2 :: k1} {k3} {k4 :: k3} {k5} {k6 :: k5}
47                  (f :: k7 -> *) (c :: k7) k8 (a :: k8) (b :: Proxy k2)
48                  (d :: Proxy k4) (e :: Proxy k6).
49           f c -> T2 k8 a b f c d e
50   MkT :: forall {k1} {k2} {k3 :: k2} {k4} {k5 :: k4} {k6} {k7 :: k6}
51                 (f :: k1 -> *) (c :: k1) k8 (a :: k8) (b :: Proxy k3)
52                 (d :: Proxy k5) (e :: Proxy k7).
53          f c -> T k8 a b f c d e
54 Dependent modules: []
55 Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
56                      integer-gmp-1.0.2.0]