Every monad solves exactly this problem.