Another FRP implementation