I don't think we want TypeVar in here, because we're printing concrete arrays which should never have symbolic datashapes in them.