in this case the `AF: Applicative<F> = appli...
# arrow
r
in this case the
AF: Applicative<F> = applicative()
is considered an implicit and is currently reified and looked up at runtime