functor
(
Param
:
PARAM
)
->
T