TYPE SIGNATURES
TYPE CONSTRUCTORS
  type role T representational
  data T (a :: k)
    Kind: forall k1. k1 -> *
COERCION AXIOMS
Dependent modules: []
Dependent packages: [array-0.5.1.0, base-4.9.0.0, binary-0.8.0.0,
                     bytestring-0.10.7.0, containers-0.5.7.1, deepseq-1.4.2.0,
                     ghc-boot-0.0.0.0, ghc-prim-0.5.0.0, integer-gmp-1.0.0.0,
                     pretty-1.1.3.2, template-haskell-2.11.0.0]

==================== Typechecker ====================
TH_Roles2.$tcT
  = GHC.Types.TyCon
      6325001754388382679##
      4656387726417942748##
      TH_Roles2.$trModule
      (GHC.Types.TrNameS "T"#)
TH_Roles2.$trModule
  = GHC.Types.Module
      (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "TH_Roles2"#)