summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T12045TH2.stderr
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