<p dir="ltr">Hello, I couldn't find the evidence for the first parameter of GadtC in Con data type to be a [Name] in place of a simpler Name.</p>
<p dir="ltr"><a href="https://hackage.haskell.org/package/template-haskell-2.11.0.0/docs/Language-Haskell-TH-Syntax.html#t:Con">https://hackage.haskell.org/package/template-haskell-2.11.0.0/docs/Language-Haskell-TH-Syntax.html#t:Con</a></p>
<p dir="ltr">How should I match a normal gadt constructor syntax with that?</p>
<p dir="ltr">Thank you</p>
<p dir="ltr">Paolino</p>