Control.AFSM.SMFunctor

class SMFunctor f

smexecSM

smexecSMA

bindSM

(>>>=)