The finishable monad in php