Symbol: generate_type_seq