# Advanced discussion topics

<!--
To do:

-[ ] discuss: no race conditions

-[ ] discuss: no null-pointer exceptions

-[ ] discuss: Subtypes and the `Null` type

-[ ] discuss: Types are structural
-->