Title: Monadification of functional programs