monoids don’t care about your feelings. they got identity, associativity and anything else is your problem