display supertypes with substituted type args