Efficient and flexible wire arrows for functional reactive programming and other forms of locally stateful programming.