Further categorization of generic-functions and types.