3 ms·Simple, step-by-step derivation of Maybe and Free monads from first-principles2 points by buffyoda 10y ago