Изоморфизм спешит на помощь

А что тут такого непонятно? Завернутое в лямбду — это другой тип. Компилятор не даст просто так одно подменить другим, хотя поведение совершенно одинаковое. Считаете, что ООП тут не причем?

Изоморфизм спешит на помощь

Что именно стоило бы добавить? Как сделать лучше?

Изоморфизм спешит на помощь

Вы ошиблись. В данном случае алгебраической структурой можно считать сам факт, что при одинаковых аргументах обе функции возвращают одинаковый результат. Соответственно, curry/uncurry работает на любой бинарной функции и является полноправным изоморфизмом.

Изоморфизм спешит на помощь

Разве не пришлось бы тогда объяснять что такое «математическая структура»? Тем более, что сам по себе это не математический термин и в каждом конкретном случае понимается по-разному. Не говоря уже о том, что я несколько раз особо акцентировал внимания на «важных свойствах», которые сохраняются. Видимо, этого оказалось недостаточно.