Control.Arrow.ArrowState
class ArrowState s a