λ

Based on Benjamin Pierce's Types and Programming Languages

This is an incorrect implementation. I've abandoned this version.