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