Ensuring fields referencing nullary sums are correctly typed