Closed JacquesCarette closed 3 months ago
A few files used very basic bits of Data.Product and Function that could instead use .Base.
Data.Product
Function
.Base
While in those files, fix up other things. Some files couldn't go to .Base after all, but other things could be fixed, so they were.
In one case, Effect.Monad.Partiality was using all of Data.Nat for a private example -- I moved that to README.Effect.Monad.Partiality instead.
Effect.Monad.Partiality
Data.Nat
README.Effect.Monad.Partiality
A few files used very basic bits of
Data.ProductandFunctionthat could instead use.Base.While in those files, fix up other things. Some files couldn't go to
.Baseafter all, but other things could be fixed, so they were.In one case,
Effect.Monad.Partialitywas using all ofData.Natfor a private example -- I moved that toREADME.Effect.Monad.Partialityinstead.