We should allow you to write fn&(x, y) and infer the types for x and y just as we now infer the types for {|x, y|...}. Similarly we should infer the return type too---not sure whether we should require something like fn&(x, y) -> { ... } in that case, though.
We should allow you to write
fn&(x, y)and infer the types forxandyjust as we now infer the types for{|x, y|...}. Similarly we should infer the return type too---not sure whether we should require something likefn&(x, y) -> { ... }in that case, though.