functor
(
M
:
Sigs
.
Model
)
->
Sigs
.
Model