On Sun, Apr 6, 2008 at 11:12 AM, John Meacham <[EMAIL PROTECTED]> wrote: > I implemented this efficient lazy natural class once upon a time. it > even has things like lazy multiplication: [...] > instance Num Nat where > Zero + y = y > Sum x n1 + y = Sum x (y + n1) > --x + Zero = x > --Sum x n1 + Sum y n2 = Sum (x + y) (n1 + n2) [...]
May I ask you why the last line above was commented out? Thanks! -- Felipe. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe