blob: 948928a8fbe89300001d9bae39c2686dd5fe084c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE PolyKinds, MultiParamTypeClasses, GADTs, ScopedTypeVariables,
TypeOperators #-}
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
module Super where
import Data.Kind
import Data.Proxy
import GHC.Exts
class (a ~ b) => C a b
data SameKind :: k -> k -> Type where
SK :: SameKind a b
bar :: forall (a :: Type) (b :: Type). C a b => Proxy a -> Proxy b -> ()
bar _ _ = const () (undefined :: forall (x :: a) (y :: b). SameKind x y)
|
