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@gmail.com> wrote:
This seems long overdue and aside from some redundant import warnings likely low breakage risk


Thoughts?
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries