File hasType