functor
(
K
:
Field
.
T
) (
M
:
Monoid
.
T
)
->
T