ghc-exactprint-0.5.7.0: tests/examples/ghc86/BadTelescope3.hs

{-# LANGUAGE TypeInType, ExplicitForAll #-}

module BadTelescope3 where

import Data.Kind

data SameKind :: k -> k -> Type

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