types with extracted properties