2009/05/27 Miguel Mitrofanov <miguelimo38 at yandex.ru>: > And I would certainly celebrate when "if b then x else y" > expression becomes polymorphic in "b". class Boolean b where fromBoolean :: b -> Bool -- Jason Dusek