The limitation with this approach is when your fun...
# arrow-contributors
r
The limitation with this approach is when your functions depend on more than one single type class. For example
Traverse#traverse
which requires
Traverse<F>
and
Applicative<G>