map
TestResult
ValidationResult
monadInstance
TestResult