²The declaration of intlist introduces new constructors nil and ::. These hide the built-in versions with the same names. So to use the built-in lists you should start a new ML session.