# Pastebin xTWjWznc
(All [m k v c ...]
          [m k v c c ...2 c -> (Assoc m k v c ... c)]))