functor
(
R
:
T
)
->
T