An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧) - View it on GitHub