define disjoint types for #624