The notation was parsing-only and all it did was reorder the arguments for
from_option. This creates just a needless divergence between what is written
and what is printed. Also, removing it frees the name for maybe introducing a
function or notation default with a type like T -> option T -> T.
I volunteer to fix all reverse deps that we know about.