so, in your mind, is `Nested`... a parametric `Wit...

# arrow-contributors

[Eugenio]

so, in your mind, is Nested... a parametric Witness? or is it a different type of Kind altogether? if you encounter that, how can you go to the original type? unless you consider both to be original types?!