TYPE SIGNATURES
TYPE CONSTRUCTORS
  T :: k -> *
  data T (k::BOX) (a::k)
      No C type associated
      Roles: [nominal, representational]
      RecFlag NonRecursive, Not promotable
      =
      FamilyInstance: none
COERCION AXIOMS
Dependent modules: []
Dependent packages: [array-0.5.0.0, base, containers-0.5.3.1,
                     deepseq-1.3.0.2, ghc-prim, integer-gmp, pretty-1.1.1.1,
                     template-haskell]

==================== Typechecker ====================