blob: 42e17986d0331336d234546e0ea168b513db9de6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
TYPE CONSTRUCTORS
data type T{2} :: forall k. k -> *
roles nominal representational
Dependent modules: []
Dependent packages: [base-4.16.0.0, template-haskell-2.18.0.0]
==================== Typechecker ====================
TH_Roles2.$tcT
= GHC.Types.TyCon
11651627537942629178##64 11503899791410937231##64
TH_Roles2.$trModule (GHC.Types.TrNameS "T"#) 1# $krep
$krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep GHC.Types.krep$*
TH_Roles2.$trModule
= GHC.Types.Module
(GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "TH_Roles2"#)
|
