rather than inferred error sets. This avoids extra unnecessary work for
the compiler since inferred error sets are unique types.