id: 8869ffdd-4188-4287-a96a-9e1b98f68230 url: http://homepages.inf.ed.ac.uk/wadler/topics/monads.html