§ Monads mnemonic

• multiplication is $\mu$ because Mu.
• return is $\eta$ because return is unit is Yeta.