Выведение типов аргументов при композиции функций