Select Git revision
Capability.hs
-
Jean-Paul Calderone authored
* make it single-param instead of multi-param * get rid of its functional dependency The cost is the use of another type family. Seems like a win to me.
Jean-Paul Calderone authored* make it single-param instead of multi-param * get rid of its functional dependency The cost is the use of another type family. Seems like a win to me.