functor
(
X
:
Parameter_input
)
->
Bool