Two monoids as one, in holy haskimony
