In https://gitlab.haskell.org/ghc/ghc/merge_requests/963, pattern match
checking got more precise in the presence of COMPLETE pragmas. That
uncovered that there are redundant pattern matches in `binary`.