functor
(
Sig
:
SIG
)
->
TERM