úÎ ! V Safe-Infered6Shallow deconstruction. Returns the first argument if Zero4, applies the second argument to the inner value if Succ. Returns the first argument if Zero3, applies the second argument recursively for each Succ. Build a NatI from a seed value: the first argument should return the next seed value & if the building is to continue, or Nothing if it is to stop. A Succ is added at each iteration.  Very big!  & diff n m | n >= m = Right (n - m) & | otherwise = Left (m - n)          data-nat-0.1Data.NatNatSuccZeronatfoldNat unfoldNatinfinitydiff$fIxNat $fWholeNat $fIntegralNat $fRealNat$fNumNat $fBoundedNat $fEnumNat