`OptionT<ForIO, A>` can though
# arrow-contributors
r
OptionT<ForIO, A>
can though