T.could_be less dependent on T.isa