If you want `Applicative` to be implicit you would...
# arrow
s
If you want
Applicative
to be implicit you would need to make
F
reified.