On Thu, 27 Jul 2006, David House wrote: > How about we drop the idea of an auxilary cond function, and instead > just use a Boolean typeclass? > > class Boolean b where > isTrue :: b -> Bool > isFalse :: b -> Bool
I suspect that then the Int instance for Boolean will quickly arise, http://repetae.net/john/recent/out/Boolean.html which flood us with (if 2+3 then "true" else "false"). This would take us a lot of type safety. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
