insert :: Ord k => k -> v -> Tree k v -> Tree k v
insert k v = Endoapo.endoapomorphism (Alg.insert k v)
insert :: Ord k => k -> v -> Tree k v -> Tree k v
insert k v = Endoapo.endoapomorphism (Alg.insert k v)
insert k v = Endoapo.endoapomorphism (Alg.insert k v)