If you need coherent type class instances, it's not that hard… http://www.reddit.com/r/haskell/comments/31zagw/why_are_we_naming_types_instead_of_instances_when/cq8qsyo … #idris
@skilpat I don't think you can have an efficient merge without somehow deciding the instances are the same.
-
-
@edwinbrady@skilpat why not use Set' directly everywhere without the existential wrapper? -
- 2 more replies
New conversation -
-
-
This Tweet is unavailable.
-
@skilpat I suspect the real problem here is the automatic desire to reach for a type class for everything… - 1 more reply
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.