Added working runReaderT case
Prettification