Ok the overload argument was flawed, but we always used constraints for this before. I'm ok either way. @andralex your opinion?