Changed signature of Context monad.