Types for file