in reply to Tree with checkboxes
Unfortunately, HList is not generic enough to take widget as values (or more precisely its nodes), otherwise this would be trivial.
C.