# Pastebin DWEEV49b
     (All [m k v c ...]
          [m k v (t/HSeq [c c] :repeat true) <... c -> (Assoc m k v c ... c)]))