cipher checking within Reader monad