System.IO.Streams.File
withFileAsInput
withFileAsInputStartingAt
unsafeWithFileAsInputStartingAt
withFileAsOutput
withFileAsOutputExt