constraintSource :: ConstraintSource -> String
constraintSource src = "constraint from " ++ showConstraintSource src
constraintSource :: ConstraintSource -> String
constraintSource src = "constraint from " ++ showConstraintSource src
constraintSource src = "constraint from " ++ showConstraintSource src