Comment by entaloneralie

I'm too scared to leave the comfy world of commutative monoids.