Point free style and closer to the frp model