merged_type_cases