blob: a7220fef02ac593c0cc49314294f49a6c2e309c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
:kind Int
:kind Maybe
:l GhciKinds
:kind F [[[Int]]]
:kind! F [[[Int]]]
:kind! F (Maybe Int)
:kind! F (Maybe Bool)
:seti -XRankNTypes
:kind! forall a. F (Maybe a)
:set -XUnboxedTuples -XTemplateHaskell -XMagicHash
:set -fprint-explicit-runtime-reps -fprint-explicit-kinds
:set -fprint-explicit-foralls
:m + GHC.Exts Language.Haskell.TH Language.Haskell.TH.Lib
:m + Language.Haskell.TH.Syntax
:k $(unboxedTupleT 2)
|
