addConstraint x = let ?eval = eval in C.addConstraint x >> return ()
addConstraint x = let ?eval = eval in C.addConstraint x >> return ()
addConstraint x = let ?eval = eval in C.addConstraint x >> return ()