[Haskell-cafe] Re: instance Eq (a -> b)

[Alexander Solla]

On Apr 14, 2010, at 12:16 PM, Ashley Yakeley wrote:

> They are distinct Haskell functions, but they represent the same  
> moral function.

If you're willing to accept that distinct functions can represent the  
same "moral function", you should be willing to accept that different  
"bottoms" represent the same "moral value".  You're quantifying over  
equivalence classes either way.  And one of them is much simpler  
conceptually.