foo = [\m x -> insert x x m]