def a (x: String) = 2 + a::b["xyz"] + fn x y -> x + y + {a : b};