Use File for type-safety