This module is concerned with allowing you to describe a session type. A session type is treated as a table or 2D array, where each row represents a particular session type function which can refer, by index, to the other rows.
Basically, what you have here is the ability to describe a program at the type level.
Just look at Control.Concurrent.Session.Tests for examples
|Produced by Haddock version 2.3.0|