MonadSTM: monad transformers instances

`ReaderT`, `WriterT`, `StateT` and `RWST` have now instances which also
transform the `STM m` monad.  This open a possibility to provide
`MonadAsync` instances for monad transformers stacks.

Author: coot