title: is the Y-Combinator a monad?
body: <p>I'm trying to understand the similarities between abstracting functions using the y-combinator and the continuation monad. Intuitively, it feels to me like they have things in common, but I haven't understood either of them to be able to grasp at an answer. Please help.</p>