instance (Bounded a, Bounded b) => Bounded (Either a b) where

  minBound = Left minBound

  maxBound = Right maxBound

While Bounded intentionally does not have an Ord superclass, I think it's worth mentioning that these are the instances that arise naturally from the Ord instances for the types in question.