A simple FRP library and a android event framework built on it