That is a beautifully clear explanation.

Can you do one for monads?