reader monad tests