%(A:*) @(xs:(List ((Pair String) A))) (Map A)