impl robot.hs