make monoids work