“just one more monad, dad”