/ Reader / ask
ask
1  λ(r : Type) → ./../ReaderT/ask r ./../Identity/Type ./../Identity/applicative