ghc-exactprint-0.5.7.0: tests/examples/pre-ghc86/BadTelescope.hs

{-# LANGUAGE TypeInType #-}

module BadTelescope where

import Data.Kind

data SameKind :: k -> k -> *

data X a k (b :: k) (c :: SameKind a b)