2009/05/27 Miguel Mitrofanov <[email protected]>:
> 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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to