Free monad

Categories: