blob: 030e8087a93cd4dcab82bdf7c4728902c0b0e8c3 (
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
|
