home/blog/supplements/monads

Maybe from first principles

• Monoids and monoidal categories
• State usage example