https://123dok.net/document/z3d45027-a-constraint-based-approach-guarded-algebraic-data-types.html