Skip to content

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information