Subtyping on AnyType