# Type System

---

## Templates

A template is an incomplete type