1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
{-# LANGUAGE TypeFamilies #-} module T20588 where import Data.Kind class C (a :: Type) where {-# MINIMAL meth #-} meth :: a -> a meth = id class D (a :: Type) where type family T a :: Type type instance T a = Int