Sugar: Remove Monad.runPure. Make a Sugar.mkContext function