предположу, что любой функциональный типизированный язык с нативным пайпом нормально типы в нём резолвит. ReasonML, например.
это не то, это по сути сахар для метода thru, а вариабельное количество аргументов одной функции на данный момент описывают вручную вообще все)
reasonml, swift, purescript, без разницы)