Control.Monad.Trans.Crtn
data Yld o x
type GenT o
yield
data Awt a x
type CnsmT a
await
data Rqst req ans x
type CrtnT req ans
request
type SrvT req ans m
type CliT req ans
data CrtnErr
(<==|)
mapStateDown