can also eschew the AF entirely if declared as an ...
# arrow
j
can also eschew the AF entirely if declared as an extension function on Applicative<F> I guess