The type you specify for NIL is the type you want for the list. If you want an empty list for int values, you can use NIL int. If you want an empty list for operations (like you have to return at the end of the contract execution), you use NIL operation.