Discussione 'Partial types'