correct type signature for `ask` in readert section