Export Natural type from prelude

[Carter Schonwald]

This is a good point were we adding it to base. It’s already in base and
widely useful!

That’s a good motivation to add for fixing num and friends. But that’s not
even a new problem for num instances in base. Reexport it from prelude
doesn’t change that. Just improves the ergonomics for using a really nice
type for both pedagogy and prototyping!

I also like how natural throws an error on underflow.

On Fri, Jul 2, 2021 at 12:54 PM David Feuer <david.feuer at gmail.com> wrote:

> I'm going to play devil's advocate and say no. I believe Num instances
> should be rings under + and *. Natural is an instance of Num but is not a
> ring.
>
> On Fri, Jul 2, 2021, 11:26 AM Carter Schonwald <carter.schonwald at gmail.com>
> wrote:
>
>> This seems long overdue and aside from some redundant import warnings
>> likely low breakage risk
>>
>>
>> Thoughts?
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20210702/c89e939d/attachment.html>