form-building-haskell-types