some tests with readerMonad