I am looking for papers on type inference for mutually recursive algebraic types with subtyping. Many thanks in advance, Aaron -- Aaron Gray Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist.