04 · Types

Narrowing