Align two options (this on the left and b on the right) as one Option of Ior.
this
Align two options (this on the left and b on the right) as one Option of Ior, and then, if it's not None, map it using f.