let
empty =
G
.empty