GitHub repository: obsidiansystems/dependent-sum-template
Primary language: Haskell
Description: Template Haskell code to generate instances of classes in some package