blob: ce626e5e018031e2d0ac76f9c269b94b727bf00d (
plain)
1
2
3
4
5
|
type family T12045TH2.Foo (a_0 :: k_1) :: * where
forall (a_2 :: *). T12045TH2.Foo (a_2 :: *) = GHC.Types.Bool
type family T12045TH2.Baz (a_0 :: k_1) :: *
type instance forall (a_0 :: * ->
* -> *). T12045TH2.Baz (a_0 :: * -> * -> *) = GHC.Types.Char
|