Improve IO part of standard library

Shouldn't it return File instead?