But this encoding makes Kind<F, A> == Kind&l...

# arrow-contributors

[raulraja]

But this encoding makes Kind<F, A> == Kind<F, Nothing, A> flattening partial application and allowing us to encode type classes that are compatible between Kind1 and KindN