Who makes those arguments? Or rather, who makes them with such little sophistication? What's being described here is well-known and easily available in typed F

Who makes those arguments? Or rather, who makes them with such little sophistication? What's being described here is well-known and easily available in typed FP languages. It's a tiny application of the general properties of monads, dressed up to not have to say the word "monad". The novel bit is to give it a link-bait title.