how would I do something like `fun lt F G A B gt foo f A gt kotlinlang #arrow-contributors

how would I do something like `fun <F, G, A, B&...

jacob

05/21/2018, 12:03 PM

how would I do something like

fun <F, G, A, B> foo(f: (A) -> B, Fa: Kind<F, A>): Kind<G, B>

? how would I say which interfaces constrain G?