[Haskell-cafe] Re: Type question in instance of a class

[Peter Hercek]

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.