# Types

To write

# Type Inference

To write