+
NonEmptySet
++
NonEmptySet
NonEmptyVector
++:
NonEmptyVector
++=
Builder
+:
NonEmptyVector
+=
Builder
:+
NonEmptyVector