A type equivalent to (Option<T>, Option<U>) where the (None, None) case is unconstructable.
(Option<T>, Option<U>)
(None, None)
