base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[ghc.git] / testsuite / tests / partial-sigs / should_compile / DataFamilyInstanceLHS.stderr
1 TYPE SIGNATURES
2   foo :: Sing 'A
3 TYPE CONSTRUCTORS
4   data type MyKind{0} :: *
5   data family Sing{2} :: forall k. k -> *
6     roles nominal nominal
7 COERCION AXIOMS
8   axiom DataFamilyInstanceLHS.D:R:SingMyKind_0 ::
9       Sing = DataFamilyInstanceLHS.R:SingMyKind_
10 DATA CONSTRUCTORS
11   A :: MyKind
12   B :: MyKind
13   SingA :: Sing 'A
14   SingB :: Sing 'B
15 FAMILY INSTANCES
16   data instance Sing _ -- Defined at DataFamilyInstanceLHS.hs:8:15
17 Dependent modules: []
18 Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
19                      integer-gmp-1.0.2.0]