• Function types as parameters
• Functions as output
• The Unit type
• Forcing unit types with the ignore function
• Other types