emailForm :: (Monad m, 
              TR.FormInput input, 
              BH.ToMarkup (DemoFormError input)) => 
             String -> 
             TR.Form m input (DemoFormError input) BH.Html ValidEmail Email
emailForm initialValue = TRBS.errorList TR.++> 
                         (TRBS.label ("email: " :: String) TR.++> 
                            (Email CAI.<<$>> 
                                TR.prove (TRBS.inputText initialValue)
                                         (validEmailProof InvalidEmail)))
emailForm :: (Monad m, 
              TR.FormInput input, 
              BH.ToMarkup (DemoFormError input)) => 
             String -> 
             TR.Form m input (DemoFormError input) BH.Html ValidEmail Email
emailForm initialValue = TRBS.errorList TR.++> 
                         (TRBS.label ("email: " :: String) TR.++> 
                            (Email CAI.<<$>> 
                                TR.prove (TRBS.inputText initialValue)
                                         (validEmailProof InvalidEmail)))
emailForm initialValue = TRBS.errorList TR.++> 
                         (TRBS.label ("email: " :: String) TR.++> 
                            (Email CAI.<<$>> 
                                TR.prove (TRBS.inputText initialValue)
                                         (validEmailProof InvalidEmail)))