minimal type defs and choose list example