https://mattmoore.io/posts/kleisli/