`UpperBounded[H]` would be good here