testsuite/tests/ghci/scripts/T15341.stdout


1
2
3
4
5
6

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