(
module
GtkMenuProps
.
MenuBar
)