1 2 3 4 5 6
type T1 :: forall k (a :: k). Type type family T1 @k @a -- Defined at T16724.hs:11:1 type T2 :: forall {k} (a :: k). Type type family T2 @{k} @a -- Defined at T16724.hs:15:1