ghc/tests/typecheck/should_fail/tcfail080.stderr

   1
   2 tcfail080.hs:11:
   3     Ambiguous type variable(s) `c' in the constraint `Collection c a'
   4     arising from use of `isempty' at tcfail080.hs:11
   5     In the right-hand side of an equation for `q':
   6         isempty (singleton x)
   7
   8 Compilation had errors
   9