Ah you know what, I think I am. I guess I was stuck thinking about Monads rather than the lambda calculus. Thank you so much!