Implement HETEROGENEOUSLISTOF and HETEROGENEOUSONEOF