but the issue here is that if `F` has no `Applicat...
# arrow
r
but the issue here is that if
F
has no
Applicative
instance it will blow up at runtime.