you’re right that the type system can’t guarantee ...
# getting-started
s
you’re right that the type system can’t guarantee the list will be populated