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