I'll see your monad and lift you a functor. Or maybe computer programming should start bottom-up, progress through single-static assignment (SSA) and then get

I'll see your monad and lift you a functor. Or maybe computer programming should start bottom-up, progress through single-static assignment (SSA) and then get to impure, mutable constructs.