Re: Export Natural type from prelude

On Fri, 2 Jul 2021, Carter Schonwald wrote:

This seems long overdue and aside from some redundant import warnings likely low breakage risk

Am I understanding correctly that this will cause any code that defines its own type named Natural to break? (I don't know how much code exists that does this.) And the proper workaround will be import Prelude hiding(Natural) ? I am not opposed to this proposal; I just want it to be clear what it will break. --ken