Free Algebras v0.0.3.0 Release Notes

    • 💥 Breaking change: changed proofs in FreeAlgebra and FreeAlgebra1 class; now using FreeAlgebra and FreeAlgebra1 classes let us deduce an adjunction.
    • Monadicity example