valueMonoid

Inject