The current kind encoding does not allow you to us...

# arrow-contributors

[raulraja]

The current kind encoding does not allow you to use compatible implementations when using map for Kind<F, A> if your type class is targeting Kind2<F, E, A>