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