Free Algebras v0.0.8.0 Release Notes

    • ➕ Added two properties for each: foldMapFree, foldNatFree and foldNatFree2.
    • ➕ Added default implementations of codom / forget, codom1 / forget and codom2 / forget2, what simplifies writting instances.
    • 🔄 Changed internal representation of FreeAbelianSemigroup: use Natural
    • ✂ removed natural-number dependency and use Numeric.Natural.Natural instead.
    • Applicative instance for FreeMAction.
    • ➕ Added Free1 type.
    • ✂ Removed constraints dependency.
    • 📇 Renamed Data.Semigroup.SemiLattice to Data.Semigroup.Semilattice, also FreeSemiLattice renamed to FreeSemilattice.
    • various optimisation (rewrite rules & inline pragmas)