Control.Arrow.IOStateListArrow
data
IOSLA
s a b
liftSt
runSt