(ignore the fact that Kotlin doesn't understand `F...
# arrow
b
(ignore the fact that Kotlin doesn't understand
F<A>
or
F<B>
)