No, that's just a funny effect of how the default implementation of `coproduct1` in `TypeClass[Show]` works.

Since the last summand in the sum is now not derived via `TC.coproduct(a, ???)`, but rather with `TC.coproduct1(a)` instead, and the default implementation uses `project` internally, the `Show` instance never prepends `Inl` to the result `String` (although it is an `Inl` value internally). To reinstate the old behaviour, it would be sufficient to override `coproduct1` in the `Show` instance.