add reader monad prac