Cool point! Didn’t think of coerce. I think this would work really well for most cases where one has picked a singular type.
Unfortunately, I am using this in tests (related to Type List that Holds Poly Kinded Types and it must work with many different transformers. Meaning when running coerce there will be differing numbers of inputs.