We should move this inside `File`, but we can tackle that in another commit. :)