functor
(
Parameters
:
Parameters
)
->
Types
.
Rule