You define an Interval type, and check the constraint in its constructor.