Re: [Haskell-cafe] Eq Type Class: Overloading (==)

Jason Dagit writes:

This reminds me that several times now I've wished that Bool was some sort of interface instead of a type. Perhaps Bool could be a type class? I also wish that "if" were a function, but that's probably just the lisper in me speaking. Something like:

John Meacham has a library that implements a BooleanAlgebra type class. http://repetae.net/john/recent/out/Boolean.html -- David Menendez | "In this house, we obey the laws http://www.eyrie.org/~zednenem | of thermodynamics!"