---
title: 'The Type System'
description: 'The Type System — Zena documentation.'
status: Draft
statusType: warning
---

::: warning Placeholder
This page hasn't been written yet. The headings below are the planned outline —
see `src/_data/sidebar.js` for the full content plan.
:::

## Goals

<!-- TODO: goals -->

## Assignability and subtyping

<!-- TODO: assignability and subtyping -->

## Narrowing

<!-- TODO: narrowing -->

## Variance

<!-- TODO: variance -->

## What Zena deliberately leaves out

<!-- TODO: what zena deliberately leaves out -->
