TYPE SIGNATURES
  f :: Int -> ()
  m :: forall a. C a => a -> ()
TYPE CONSTRUCTORS
  class C{1} :: * -> Constraint
COERCION AXIOMS
  axiom T12763.N:C :: C a = a -> ()
CLASS INSTANCES
  instance C Int -- Defined at T12763.hs:9:10
Dependent modules: []
Dependent packages: [base-4.16.0.0, ghc-bignum-1.0, ghc-prim-0.8.0]