1 2 3 4 5 6
{-# LANGUAGE TypeFamilies #-} module T15149A where import Data.Kind (Type) data family An c :: Type