A robust session type framework which supports protocol pipelining.
Duncan Coutts (@dcoutts) Haskell eXchange 2019 talk.
Monadic party workshop by Marcin Szamotulski (@coot):
Talk at Haskell Love 2021 by Marcin Szamotulski (@coot), slides.
An Agda implementation by Marcin Szamotulski (@coot).