`fun <F, G, A, B> Kind<F, A>.foo(f: (A...
# arrow-contributors
r
fun <F, G, A, B> Kind<F, A>.foo(f: (A) -> B, with WhateverConstrain<G>): Kind<G, B>