corrects type signature for `ask` in the reader-monad section