[mrkgnao]

Something like a -> (b -> r) -> r/the Cont monad?

E: I meant to reply to a a sibling.