Update for the scoping parameter on the Ivory monad