Leijen. A Type Directed Translation of MLF to System F. ACM Press, 2007, doi:10.1145/1291151.1291169.