<div dir="ltr">I suggested something similar a little while ago:<div><a href="https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20170327/034767.html">https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20170327/034767.html</a></div></div>