blob: 945313a6e34afab23e412368bc78dffe42826f96 (
plain)
1
2
3
4
5
6
7
8
9
|
:set -XPolyKinds -XDataKinds
import Data.Kind (Type)
data Proxy (a :: k)
f :: Proxy (a :: k) -> Proxy (b :: j) -> (); f = f
g :: Proxy (b :: j) -> Proxy (a :: (Proxy :: (k -> Type) -> Type) Proxy) -> (); g = g
h :: Proxy (a :: (j, k)) -> Proxy (b :: Proxy a) -> (); h = h
:t f
:t g
:t h
|
