Ensuring the instance type names for nullary sums are consistent