blob: c5e830aad1c718ecd286513e3dfc8cf54644b534 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
:set -XPolyKinds -XDataKinds -XRankNTypes
import GHC.Exts (TYPE, RuntimeRep(LiftedRep))
type Pair (a :: TYPE rep) (b :: TYPE rep') rep'' = forall (r :: TYPE rep''). (a -> b -> r)
:kind Pair
:kind Pair Int
:kind Pair Int Float
:kind Pair Int Float LiftedRep
:set -fprint-explicit-runtime-reps
:kind Pair
:kind Pair Int
:kind Pair Int Float
:kind Pair Int Float LiftedRep
|
