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.

https://hackage.haskell.org/package/template-haskell-2.11.0.0/docs/Language-Haskell-TH-Syntax.html#t:Con

How should I match a normal gadt constructor syntax with that?

Thank you

Paolino