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.