HMonoid works