This would be a lot more convincing if served with an example of a language where subtyping doesn't lead to more rough edges.