Adds slight optimizations in CommittedChoiceMonad class.