The Monoid instance of the Constraint type is very simplistic: The input and output constraint lists are just appended. I'd like a little more domain knowledge "baked into it", so that (something like) the function described in issue #165 is an appropriate congruence on the monoid of constraints.
The
Monoid
instance of theConstraint
type is very simplistic: The input and output constraint lists are just appended. I'd like a little more domain knowledge "baked into it", so that (something like) the function described in issue #165 is an appropriate congruence on the monoid of constraints.