disallow === on disjoint types