`fun <A, B, C> bla(): Kind<A, Kind<B, ...
# arrow-contributors
p
fun <A, B, C> bla(): Kind<A, Kind<B, C>>