Control.Concurrent.SimpleSession.SessionTypes

data Z

data S n

data Eps

data a :!: r

data a :?: r

data r :+: s

data r :&: s

data Rec r

data Var v

class Dual r s