It's not too important, but you don't need to provide an explicit empty `[]` as the default value. `List` will provide one automatically.