summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/BadTelescope3.hs
blob: 468c646fd7469cc1898dd6e8daed8250fa4c08d4 (plain)
1
2
3
4
5
6
7
8
9
{-# LANGUAGE TypeInType, ExplicitForAll #-}

module BadTelescope3 where

import Data.Kind

data SameKind :: k -> k -> Type

type S a k (b :: k) = SameKind a b