Condensed and expanded types as separate family