Sophie
sig assoc. kind pair type -> type -> type. type pair A -> B -> (pair A B). type assoc A -> B -> (list (pair A B)) -> o.