functor
(
A
:
T
)
->
T