A monad for type-safe embedded forms in Blaze HTML.