Lists can be defined with local names