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