A GTK binding for Agda