Template Haskell code to generate instances of classes from dependent-sum
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool