so flatMap isn't `(A) -> Option<B>` but `...
# arrow-contributors
p
so flatMap isn't
(A) -> Option<B>
but
(A) -> OptionKind<B>