1    λ(r : Type)
 2  →   { map =
 3            λ(a : Type)
 4          → λ(b : Type)
 5          → λ(g : a → b)
 6          → λ(reader : r → a)
 7          → λ(rr : r)
 8          → g (reader rr)
 9      }
10    : ./../Functor/Type (./Type r)