Numeric.Limp.Program.Constraint

data Constraint z r c