Parametrized types

Functions can have parametrized types that are .

• TODO: syntax diagram

The parametrized type can be restricted to extend a specific enclosing type.