hub.darcs.net :: stepcut -> reform -> files

type safe form generation and validation (http://www.happstack.com/)