search

ekmett / hkd

higher-kinded data
Other
30 stars 2 forks source link

Drop dependency on `dependent-sum` #3

Closed phadej closed 2 years ago

phadej commented 2 years ago

It's nice type, but IMO its current maintainers made it a terrible package dependency wise. It includes aeson through constraint-extras. That doesn't make sense to me.

phadej commented 2 years ago

My bad, it's an executable readme which depends on aeson.