 the types for `m.top` and `m.node` should be automatically provided with the `@SGNode` annotation