functor
(
X
:
Input
)
->
Bool