Monadification of functional programs | lit.salon