Don't we have that ExclusiveUpper type you mentioned?