https://jml.io/posts/twisted-monads/