pub type insert1<K, A> = Applied1<fn(_: K, _: A, _: HashMap<K, A>) -> HashMap<K, A>, K, A, HashMap<K, A>, HashMap<K, A>>;
curried insert partially applied with 1 argument
insert