A monad is not a burrito · HackerTrans