σ
slide
:
Recursive types -- examples