https://123dok.net/document/y96re7kj-session-types-as-generic-process-types.html