I have some type

```
type my_type_name =
    | A of (float * float)
    | B of (float * float)
    | E
;;

```

And I know that I have issue in my code, if `p >= q` in `B (p, q)` or `A (p, q)`. So I want to make assertion in type, such that if I'll try to make `A (5, 1)` it will inform me.

Is it possible to make assertion in type constructor? How it should look like?

I'm trying to avoid something like that:

```
assert (p < q) ; A(p, q)

```

Cause I have a lot of A or B objects in code.