Typing

Typing a variable or a function type is not optional.

Arrays

To type array's, you use the generic T >> Array type

Standard form:
```
<TYPE> >> Array
```

Flat types

Standard form:
```
<TYPE>
```

Generics

Standard form:
```
(<TYPE,...>) >> <TYPE>
```