Hugo Pacheco writes: > test :: SomeClass a b => a -> b > test 1 = True
test, as you've written it, is only a function from Ints to Bools, not from any a to any b where SomeClass a b holds. It is true that SomeClass Int Bool is the only instance at the moment, but type classes are open and someone could come along and add another instance (perhaps even in a different module), like SomeClass () String, and your function promises to be able to deal with them; as you've written it, it can't. -- -David House, [EMAIL PROTECTED] _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
