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 `singleton' at tcfail080.hs:11
   5     In the first argument of `isempty', namely `(singleton x)'
   6     In the right-hand side of an equation for `q':
   7         isempty (singleton x)
   8
   9 Compilation had errors
  10