Hello, I have the following code: class C a where f :: a -> Int
instance C (a,b) where f = const 2 instance C ((a,b),c) where f = const 3 If I load this code into ghci with switches -fglasgow-exts and -fallow-overlapping-instances and enter f (1,2), I get this message: <interactive>:1: No instance for (C (t, t1)) arising from use of `f' at <interactive>:1 In the definition of `it': f (1, 2) I cannot see why f (1,2) shouldn't be acceptable, so I suppose it's a bug. Am I missing something? I'm using GHC 5.04.3. Wolfgang _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs