如何检查 Template Haskell 中引用的数据构造函数名称？

我正在尝试学习一些 Haskell 模板。作为练习，我编写了一个可以生成类似内容的函数isLeft and isRight（灵感来自这个问题）。这是我的卑微尝试：

isA connam = do
    ConE nam <- connam
    nn <- newName "p"
    lamE [varP nn] $ caseE (varE nn) [
                       match (conP nam [wildP]) ( normalB [| True |] ) [],
                       match wildP ( normalB [| False |] ) [] 
                     ]

问题是它只适用于单参数构造函数。罪魁祸首是conP nam [wildP]图案。理想情况下，它应该看起来像conP nam (replicate (numArgs nam) wildP), where numArgs是一个返回构造函数参数数量的函数。但我该如何编写这样的函数呢？我想我需要访问相关的数据声明，但我不知道如何访问。

关于这个相同的功能还有另一个问题here.

虽然你可以使用reify并检查类型以确定数据构造函数的数量，使用记录模式生成与数量无关的代码要容易得多：

isFoo :: Bar -> Bool
isFoo p = case p of
    (Foo {}) -> True     -- Valid no matter what the arity of Foo is
    _        -> False

这可以通过替换来完成conP with recP在你的代码中。

isA connam = do
    ConE nam <- connam
    nn <- newName "p"
    lamE [varP nn] $ caseE (varE nn) [
                       match (recP nam []) ( normalB [| True |] ) [],
                       match wildP ( normalB [| False |] ) [] 
                     ]