representation for type definitions with parameters