Notes on higher-order typed compilation. Probably wrong - View it on GitHub