+ processResult (ABCInstructionResult (br, re))
+ = "ABC instruction: " +++ re.abc_instruction
+ processResult (ProblemResult pr)
+ = "Common problem: " +++ pr.problem_title
+ +++ "; see https://github.com/clean-cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md"