An extension on Option containing another Option.
Available on Option<Option<T>>, provided by the FlattenedOption extension