You mean something like the following?
```ocaml

type color_t = | White | Gray | Black
```
I reasoned that using a polymorphic variant here respects the notion that the enumeration as stated is not exhaustive of all possible colors. That said, if you argue that it induces a negative effect in terms of complexity or efficiency, I'm OK with changing it.