Cont monad
pipe