T12763.stderr 400 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
TYPE SIGNATURES
  f :: Int -> ()
  m :: forall a. C a => a -> ()
TYPE CONSTRUCTORS
  class C a | -> a where
    m :: a -> ()
    {-# MINIMAL m #-}
COERCION AXIOMS
  axiom T12763.N:C :: C a = a -> () -- Defined at T12763.hs:6:1
INSTANCES
  instance C Int -- Defined at T12763.hs:9:10
Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                     integer-gmp-1.0.0.1]