TypeBounds.{lo, hi} are no longer options