Update ExhaustiveParsing.lhs

fix markdown.