[Haskell] signification of RWS and RWST