`@implicit AF: Applicative<F>`
# arrow
r
@implicit AF: Applicative<F>