blob: a993d515c5a30c6834c92e70b72fe45eb6c965c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
:set -XTypeInType -XDataKinds -XKindSignatures -XMagicHash -XPolyKinds
:m + Data.Kind GHC.Exts
data T (a :: k -> k')
:kind T State#
data T (a :: * -> k')
:kind T State#
-- this should fail
data T (a :: * -> *)
:kind T State#
|