Re: [Haskell-cafe] type safe web forms at compile time Was: Re: Ur vs Haskell