Add "Lifting" newtypes for DerivingVia

[Lev135]

Why don't we have LiftingState newtype wrapper like LiftingAccum and LiftingSelect?
It seems that state methods are very easy to lift:

get = lift get
put = lift . put

[sjshuck]

Why don't we have

I think because LiftingAccum was used internally and ended up being exported so others could easily derive via that. The docs state as much. But MonadState instances were defined sans helper. And nobody has asked for LiftingState.

[jreichle]

Adding LiftingState in a manner similar to LiftingAccum would require us to add the extensions: KindSignatures, DerivingVia, StandaloneDeriving, which in turn forces us to abandon {-# LANGUAGE Safe #-}.

[sjshuck]

Thanks @jreichle.

I think it's easy enough to define instances directly, so I don't think this will add much. I'll be happy to reopen if a use case is articulated.

[sjshuck]

Just found more context for this: #149 (comment)

[sjshuck]

@BebeSparkelSparkel May or may not tag for mtl-2.3.2, but I'd like to review #149 at some point.