Update Sokoban.hs