# Type System

What you need to know about type system:

Union Type: N possible types.

Recursive Type: Instances of the same type that can be operated in the same way.

Existential Type: It will turn any type to a certain type.