1

[ { column = 17; file = "/pwd/in.nix"; line = 4; } { column = 19; file = "/pwd/in.nix"; line = 4; } { column = 21; file = "/pwd/in.nix"; line = 5; } { column = 23; file = "/pwd/in.nix"; line = 5; } ]