CUE's constraints are in the "middle" of the spectrum (lattice, partially ordered graph) from abstract types to concrete data.
CUE's constraints are in the "middle" of the spectrum (lattice, partially ordered graph) from abstract types to concrete data.