path: root/testsuite/tests/dependent/should_fail/BadTelescope.hs

{-# LANGUAGE DataKinds, PolyKinds #-}

module BadTelescope where

import Data.Kind

data SameKind :: k -> k -> *

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