A Functional Programming Technique for Forms in Graphical User Interfaces