Lack of PolyKinds validity checking in TLKS kinds
The following program is accepted:
{-# LANGUAGE TopLevelKindSignatures #-}
module Bug where
import Data.Kind
type D :: k -> Type
data D a
I would expect to have to enable PolyKinds
in order for this to work.