Control.Arrow.IOStateListArrow
data IOSLA s a b