Add dump test cases for ReaderT