functor
(
G
:
Graph
.
T
)
->
T