在一个大的代码库中，我想将一个具有带字段的构造函数的数据类型重构为一个简单的带标记的记录联合体，主要是为了更好地支持-Wincomplete-record-updates。重要的是，我不需要更改此数据类型上的任何模式匹配，所以我尝试使用记录模式同义词。下面是一个简化版本：

{-# LANGUAGE PatternSynonyms #-}

{-# OPTIONS_GHC -Werror=incomplete-patterns #-}

-- Consider some data type with fields:

data D'
  = A'
  | B' { b'Int :: Int, b'String :: String }

foo' :: D' -> String
foo' A'{} = "A"
foo' B'{b'String = x} = x

-- I'd like to factor out a record containing the fields
-- without changing foo'.

data D
  = A
  | BTag BRec

data BRec = BRec { _bInt :: Int, _bString :: String }

pattern B :: Int -> String -> D
pattern B{ bInt, bString } = BTag (BRec bInt bString)

foo :: D -> String
foo A{} = "A"
foo B{bString = x} = x

-- I get this error:
--     Pattern match(es) are non-exhaustive
--     In an equation for ‘foo’: Patterns of type ‘D’ not matched: BTag _
--    |
-- 28 | foo A{} = "A"
--    | ^^^^^^^^^^^^^...

为什么我会得到一个模式覆盖错误？我使用的模式同义词正确吗？如何得到我想要的重构？