GitHub repository: mokus0/dependent-sum-template
Primary language: Haskell
Description: Template Haskell code to generate instances of classes from dependent-sum