Structs

Enums

Reasons to create a type inference variable