A monad is not a burrito | Dark Hacker News