iterate over `types.values()`?