when outputting `Either` placeholder, sometimes `PolyX` for some number is actually correct.

[mattpolzin]

Either naturally only applies if an abstract polymorphic type has two possible concrete types. For cases with more than two concrete types, use PolyX instead.