Using monoids inside my monoids, man!