Three_approaches_to_type_structure