IO-oriented FRP library