tc231.stderr 548 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
TYPE SIGNATURES
  foo ::
    forall s b chain.
    Zork s (Z [Char]) b =>
    Q s (Z [Char]) chain -> ST s ()
  s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
TYPE CONSTRUCTORS
  data Q s a chain = Node s a chain
    Promotable
  data Z a = Z a
    Promotable
  class Zork s a b | a -> b where
    huh :: Q s a chain -> ST s ()
COERCION AXIOMS
  axiom NTCo:Zork ::
      Zork s a b = forall chain. Q s a chain -> ST s ()
Dependent modules: []
Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                     integer-gmp-1.0.0.0]