functor
(
C
:
T
)
->
Graph
.
T