Think of the differences (and similarities) of Applicative Functors and Monads and the extra context that monads carry around.