úÎ ô õ     None ;This is implemented for types whose values will be checked DA wrapper type indicating that the value is or is not within limits XA warning that the value is not within limits, with a measurable indication of severity Useful function hThis is needed because we need to select the correct check function for the parameters to this function i We do this by capturing the parameters as a single type, for which we have defined a checkable instance 5The monadic values also combine like the Applicative nChecked values combine as you would expect, except that two Left values combine to set up a trace of warnings GThe function is simply applied to the value within the checked wrapper for debugging              Checked-0.0.0.2 Data.CheckedSumTestFuncParamsUnderOneHundred CheckablecheckCheckedWarninggetCheckedValueapplyWithParamsChecksumTestsumTest'test$fMonadChecked$fApplicativeChecked$fFunctorChecked $fShowChecked$fCheckable(,)$fCheckableUnderOneHundred