The stdlib has the InputStream.reader() extension ...
# language-proposals
t
The stdlib has the InputStream.reader() extension method to get an InputStreamReader for an InputStream. Any chance we could get InputStream.dataReader() or something similar to get a DataInputStream for the InputStream?