It's not clear to me whether I should be able to d...

# arrow

[jacob]

It's not clear to me whether I should be able to define <F, A, B, C> fun liftA2(f: (A) -> (B) -> C, Fa: Applicative<F>, Fb: Applicative<F>): Kind<F, C> as a function, or whether I need to implement a "liftable" typeclass for it or some other approach