blob: 5516e7d48012e56c6d2d7907c0f2733bcf1c2bed (
plain)
1
2
3
4
5
6
|
forall (k_0 :: *) . k_0 -> *
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
|
