[
  (builtins.length [ ])
  (builtins.length [ 1 ])
  (builtins.length [ "one" "two" "three" ])
]