- type variables
- passing a list of directly imported dcl modules by an icl modules