patch applied (haskell-prime-report): typo in section 3.17.2, rule 8, for pattern-matching n+k