testsuite/tests/typecheck/should_fail/tcfail098.stderr


1
2
3
4
5
6


tcfail098.hs:8:10:
    Ambiguous constraint `Bar a'
        At least one of the forall'd type variables mentioned by the constraint
        must be reachable from the type after the '=>'
    In the instance declaration for `Bar Bool'