Declare TcS and RewriteM monads to be oneShot
Recently we have been adding oneShot
to many of the State
-like monads in GHC (see Note [the one-shot state monad trick]
in GHC.Utils.Monad
) and #18202. We should do the same for TcS
and RewriteM
.