A declarative wrapper for the gi-gtk Haskell Gtk+ bindings built with haskell-gi, which is a binding library generator to access GObject-Introspection-capable C libraries (such as GLib and Gtk+).

See also: Presentation slides on gi-gtk-declarative.