Next chapter on implementation details of Я: wrappers that form hierarchy of subtyping relations. It’s a way to describe stateful computations and recursive data structures.
