The module SimpleForm implements forms in a simple, but typed manner. Roughly spoken, a form consists of pairs of a label and an entry, radio button, menu or other widget. The possible values entered by the user can be sanity-checked with so-called guards. See the example in Mainsimpleform.hs.
The module MenuType gives an abstract (and rather more user-friendly way) of describing menus. It does not support radio buttons yet, but potentially you might want to use to build menus rather than Tk's slightly convoluted way (remember Sect. 5). HtkMenu implements these for HTk (i.e. MenuType are the types, and HTk menu the implementation); see the example in Mainsimplemenu.hs.