Refactor to have Slide monad.