úÎ2ò     A given input which is either ok or invalid. /A test taking input and producing a new input. +Validate some input with testing function. Test to perform. $Value on which to perform the test. ,Maybe a list of errors, or Nothing, meaning  success. +A validation success, preserving the data. EA generic testing function with a predicate, with type preservation. Error if predicate fails. "Predicate to test the value with. A test from a to a.  Attach a "label"7 around a testing function which errors. This might be  useless. 'Error message to attach if test fails. *Test whose result is checked for failure. 3A new test from a to b which shows the label as an  error on failure. LMake a test which tests a string according to a regular expression pattern. %An error message if the match fails. The regular expression The produced testing function. Is equal to something. )Check that a String contains an integer. 5Check that a a value is less than a specified value. 8Something which the value being test must be less than. .A test from a to a which tests this property. Like less6 but the value must be more than the specified value. ;Test that a given age is correct (130 years of age max.).  http:www.seniorjournal.comNEWS SeniorStats/5-12-03-NoOne123.htm $Test that a given email is correct.  Based on http: www.hm2k.compostswhat-is-a-valid-email-address GCheck that a string contains an integer, and try to convert to an Int. HCheck that a string contains an integer, and try to convert to a Float. 6Monad instance for testing inputs and keeping errors.             validate-0.0Data.GenericString Data.ValidateStrreadToMaybeStr showToStr appendStrfoldrStr strToStringTestvalidatetestlabelpatternequalisIntlessmoreageemailintfloatInputInvalidOkok $fMonadInput