Derive: remove TODO, auto-checking repetitions
Derive: remove TODO, auto-checking repetitions

This is either impossible or impractical due to the GHC TH stage restriction.

rudymatela/llcheck,rudymatela/leancheck