pub type insert0<K, A> = Applied0<fn(_: K, _: A, _: BTreeMap<K, A>) -> BTreeMap<K, A>, K, A, BTreeMap<K, A>, BTreeMap<K, A>>;
curried insert waiting for all arguments
insert