tcfail111.stderr

tcfail111.hs:7:0:
    Ambiguous constraint `Wob 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 `Wob Bool'