type_id is a very opaque identifier in this context