12 Nov
2016
12 Nov
'16
1:24 a.m.
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-... How should I match a normal gadt constructor syntax with that? Thank you Paolino