fraxl
fraxl copied to clipboard
Update versions of dependent-map and dependent-sum
This allows clients to use the convenient template haskell derive methods for the relevant classes.