Implementation of Kfoury, Wells '93 type inference algorithm for rank-2 System F. Link to the original paper http://www.macs.hw.ac.uk/~jbw/papers/#Kfo+Wel:LFP-1994