1 2 3 4 5 6 7 8 9
{-# LANGUAGE TypeInType #-} module BadTelescope where import Data.Kind data SameKind :: k -> k -> * data X a k (b :: k) (c :: SameKind a b)