2009/05/27 Miguel Mitrofanov <miguelim...@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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to