functor
(
F
:
T
)
->
Ring
.
T