type family Foo (a :: k) :: k where
  forall k (a :: k). Foo a = a
  	-- Defined at T15341.hs:5:1
type family Foo @k (a :: k) :: k where
  forall k (a :: k). Foo @k a = a
  	-- Defined at T15341.hs:5:1