I also think

Collection

should at least have the option to type-check its elements, haven’t done that yet