an implementation of arrowized FRP in Java