1    { map = λ(a : Type) → λ(b : Type) → λ(f : a → b) → f }
2  : ./../Functor/Type ./Type