Эй, Дэн. Отличный вопрос. Поскольку функции возвращают только одно значение, и вы все равно не можете создавать функции с несколькими параметрами и разными порядками параметров, вам не нужно беспокоиться о множестве аргументов внутри стандартной реализации компоновки. Одно возвращаемое значение = унарный состав.
Позже мы рассмотрим более сложные сигнатурные композиции, но вот спойлер: мы собираемся использовать карри для извлечения n-арности.
