Bulat Ziganshin wrote:
Hello J.,
Monday, November 17, 2008, 12:56:02 AM, you wrote:
class MyClass r where function :: r -> s
As Bulat said, your type signature is equivalent to:
function :: forall r s. r -> s
only
function :: forall s. r -> s
(r is fixed in class header)
... and the only value the function can return is bottom.
Is there any type system which would have more than
one value which inhabits all types?
Peter.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
