François Pottier Simplifying Subtyping Constraints. 122-133 1996 ICFP db/conf/icfp/icfp96.html#Pottier96