https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
e

Eugenio

07/22/2018, 3:09 PM
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?!