Аппликативные функторы для частично примененных функциональной стрелки (->) e и Either e. Композиция уровня типов. Свойства композиции функторов и аппликативных функторов.