CUE can handle many types of cycles just fine.
Because all values are final, a field with a concrete value of, say
can only be valid if it is that value.
So if it is unified with another expression, we can delay the evaluation of
this until later.
By postponing that evaluation, we can often break cycles. This is very useful for template writers that may not know what fields a user will want to fill out.
x: 200 y: 100 a: _|_ // cycle detected b: _|_ // cycle detected