Fuck, I've been rereading http://mvanier.livejournal.com/2897.html for the past several hours and it might as well be written in Esperanto. Am I just not cut out for EXPERT PROGRAMMING‽
the Y-combinator is just a δ-rule added to the typed lambda-calculus in order to make recursion work again. which was broken by introducing types to the lambda-calculus