Template Haskell code to generate instances of classes from dependent-sum - View it on GitHub