can we typehint File here?