this way it's allowed to do ``` Kind<Nested<...
# arrow-contributors
e
this way it's allowed to do
Copy code
Kind<Nested<F, G>, A>