http://hackage.haskell.org/package/schonfinkeling

пакет "Control.Schönfinkeling" вводит две операции
— шейнфинкелировать :: ((x,y)->z) -> (x->y->z)
— расшейнфинкелировать :: (x->y->z) -> ((x,y)-> z)

Вопрос: это какое-то новое сеяние-веяние, продвижение русских учёных (в стиле Котельникова-Найквиста, Гаусса-Остроградского, Менделеева-Клайперона, Джоуля-Ленца); или есть глубокое смысловое отличие от карринга; или просто кто-то развлекается от нечего делать?