On Mon, Jan 15, 2024 at 12:00:16PM +0100, Olaf Klinke wrote: > How can I teach GHC 9 that the pattern is indeed exhaustive? Have you tried COMPLETE pragmas? https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pragmas.html#complete-pragmas Tom