Finish liberalizing monad type for inline rewrites.