The typed-session is available now. I wrote some articles on how to use typed-session.
Typed session are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.
Here are some gifs:
