Had to fix types everywhere for the new Leftmost.