Comprehending monads by Philip Wadler (LFP '90) | Hacker News Reader