Control.Arrow.StateListArrow
data
SLA
s a b
fromSLA