1      let Either = ./../Either/Type
2  
3  in  λ(a : Type) → λ(m : Type → Type) → λ(b : Type) → m (Either a b)