A very simple compiler to SKI from an implicitly typed language.