blob: efcec6a6f2858dcb0fede1e4f80832dee2e9a698 (
plain)
1
2
3
4
5
6
|
import GHC.Exts
:set -XTypeApplications -XMagicHash -XPolyKinds -XDataKinds
data TypeRep (a :: k) = TypeRep
let typeRepKind = undefined :: TypeRep (a :: k) -> TypeRep k
let typeRep = undefined :: TypeRep (a :: k)
let x = typeRepKind (typeRep @(Maybe Int#))
|
