In the same vein, maybe the IDE could display `Kin...

# arrow-meta

[CLOVIS]

In the same vein, maybe the IDE could display Kind<F, A> as F<A>? There's already Fof<A> that is generated by @higherkind, but it feels a bit ugly and not as intuitive 🤔

Since the translation from Kind<F, A> to F<A> will be implicit anyway (using type proofs, if I understood correctly) that shouldn't introduce any confusion?