no, ok, so the normalised for is the unnested one:...

# arrow-contributors

[Eugenio]

no, ok, so the normalised for is the unnested one: Kind<F, Kind<G, A>>, so F is the "real" type