Да, там о том же. В реальности SK, как целое, более мощен, чем его выведенный тип. В том смысле, что раз уж он отбрасывает на фиг свой первый аргумент, то зачем сохранять память о том, что этот аргумент - стрелочка. Нет никаких оснований запрещать, скажем, оптимизатору заменять SK на \x y->y. И тут дилемма: либо мы сохраняем (статическую :))) ) типизацию, запрещая
no subject
либо говорим, "а чо, 42 же..." ;-)