Add RWST/RWS monad
Ported from Control.Monad.Trans.RWS.Lazy Maybe there have to be annotations added such as uniqueness and strictness
Ported from Control.Monad.Trans.RWS.Lazy Maybe there have to be annotations added such as uniqueness and strictness