16 Nov
2008
16 Nov
'08
7:06 p.m.
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.