Useless Array.to_list in Typeops.