Type to require elements of array to all have one property or the other - Theo's Typesafe Cult