ghc/tests/typecheck/should_fail/tcfail080.hs

   1 -- !!! Multi-param type classes test: ambiguity bug
   2 module ShouldFail where
   3
   4 class Collection c a where
   5     empty :: c a
   6     add :: a -> c a -> c a
   7     isempty :: c a -> Bool
   8
   9 singleton x = add x empty
  10
  11 q x = isempty (singleton x)
  12
  13