Rename deriveGADT back to derive

[lsrcz]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 1.44928% with 68 lines in your changes missing coverage. Please review.

Project coverage is 75.22%. Comparing base (25349f2) to head (f99de91).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
test/Grisette/Core/TH/DerivationData.hs	0.00%	12 Missing and 3 partials ⚠️
...ternal/Internal/Impl/Unified/Class/UnifiedSymEq.hs	0.00%	3 Missing and 3 partials ⚠️
...ernal/Internal/Impl/Unified/Class/UnifiedSymOrd.hs	0.00%	4 Missing and 2 partials ⚠️
...nternal/Internal/Impl/Core/Data/Class/Mergeable.hs	0.00%	0 Missing and 4 partials ⚠️
.../Internal/Internal/Impl/Core/Data/Class/EvalSym.hs	0.00%	0 Missing and 3 partials ⚠️
...ternal/Internal/Impl/Core/Data/Class/ExtractSym.hs	0.00%	0 Missing and 3 partials ⚠️
...e/Internal/Internal/Impl/Core/Data/Class/PPrint.hs	0.00%	1 Missing and 2 partials ⚠️
...Internal/Internal/Impl/Core/Data/Class/SubstSym.hs	0.00%	0 Missing and 3 partials ⚠️
...te/Internal/Internal/Impl/Core/Data/Class/SymEq.hs	0.00%	0 Missing and 3 partials ⚠️
...e/Internal/Internal/Impl/Core/Data/Class/SymOrd.hs	0.00%	0 Missing and 3 partials ⚠️
... and 8 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #286      +/-   ##
==========================================
+ Coverage   75.20%   75.22%   +0.02%     
==========================================
  Files         210      210              
  Lines       30803    30803              
  Branches     2206     2205       -1     
==========================================
+ Hits        23165    23172       +7     
+ Misses       5432     5426       -6     
+ Partials     2206     2205       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.