testsuite/tests/ghc-regress/typecheck/should_compile/tc168.stderr


1
2
3
4
5
6
7

TYPE SIGNATURES
    f :: forall a b a1. C a1 (a, b) => a1 -> a
TYPE CONSTRUCTORS
COERCION AXIOMS
  axiom ShouldCompile.NTCo:T:C [] :: ShouldCompile.T:C ~ (->)
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]