It would be cool if you could declare a Stdio.File(utf8) though. :)
It's the only use case that comes to mind for me where this suggestion would be substantially better than the crude width-based system. It's worth noting that neither proposition outrules the other, though; they are syntax compatible with one another.