ByNobleID
    Preservation of Equations by Monoidal Monads | NobleID