merge   (Constrained rs)     (Constrained ss) = Right (Constrained (rs ++ ss))
merge   (Constrained rs)     (Constrained ss) = Right (Constrained (rs ++ ss))
merge   (Constrained rs)     (Constrained ss) = Right (Constrained (rs ++ ss))