没有找到引用Compiling polymorphism using intensional type analysis的文章。