functor
(
F
:
T
)
->
T