nested functors

[reverendpaco]

The SWIPL version of CHR allows me to create complex types via functors.
The simplest example:

color(C), model(M), vin(V) <=> car(color(C), model(M), vin(V))

Is this something worth pursuing?