. o O ( "What's this, a sperm operator?? [looks up docs] ... ohh, it's like `.~` or `+~` etc. but for monoids." )