1 2 3 4 5 6 7
{-# LANGUAGE TypeFamilies #-} module T11622 where import Data.Kind (Type) type family F a where F _ = Int :: Type