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

Alexander Solla ajs at 2piix.com
Wed Apr 14 16:03:11 EDT 2010

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  

More information about the Haskell-Cafe mailing list