functor
(
B
:
Base
)
->
UnionFind
.
Item