functor
(
Iter
:
DomainPlus
)
->
Domain