functor
(
X
:
PARAMETERS
)
->
S