Control.Arrow.StateListArrow
data SLA s a b