Notes for shorthand list generalisation