Is there a way to differentiate upper and lower unbounded bounds? If there was, then Bound could be comparable.