Changing Prelude back to wrapper monad.