In addition I would love to see something about the problem of Scoped Conformances in the future directions.