functor
(
D
:
Domain
)
->
Relational
.
Domain