1 2 3 4 5 6
{-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeFamilies #-} module T15341 where type family Foo (a :: k) :: k where Foo a = a