qfpl/or

Maybe (Either a b) ^ Either (Either a b) ((,) a b) ^ Maybe (Either (Either a b) ((,) a b))

or

Three data types:

1. λa b → Maybe (Either a b)
2. λa b → Either (Either a b) ((,) a b) aka These
3. λa b → Maybe (Either (Either a b) ((,) a b))