а SKI уже был :) только в категории Клейсли - но это наверное даже лучше

вобще вопрос понятный конечно - и попробовать для интереса конечно можно (я даже пробовал в предыдущей версии - но застопорился на S ) для проверки замкнутости и полноценности - но в практическом смысле мне кажется достаточно уже того что аппликативный функтор в категории Клейсли уже сам по себе представляет собой полный базис SKI

вобще тут еще много чего остается для дальнейшего исследования - я пока так быстро еще не успеваю все сразу проверить :) выкладываю результаты по мере их появления ... )

попробую насчет SKI дальше конечно еще тоже - но сам по себе SKI не слишком удобен для непосредственного использования - зато конечно удобен для конечного какбы результата компиляции (если SKI непосредственно в виде аппликативного функтора) - вобщем нужно еще дальше смотреть пробовать проверять и тд