collection types are heterogeneous in c* (meh)