Delete dummy Prelude.
add RWSE Monad.

Reader, Writer, State and Error monad.