https://123dok.org/document/zkw1e8np-sessions-and-session-types-an-overview.html