Control.AFSM.CoreType
data TF s a b
type STF s a b
data SM s a b
tf
st
newSM
simpleSM
type SMH a b
data Event a