Reprove mn_map_fst.