Available on (Option<A> Function(), Option<B> Function(), Option<C> Function(), Option<D> Function(), Option<E> Function()), provided by the Option$RecordOptionFunction5Extension extension