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
-
-
This Tweet is unavailable.
-
Replying to @edwinbrady
@edwinbrady@skilpat why not use Set' directly everywhere without the existential wrapper?2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@skilpat but what about the problems raised in the reddit reply?1 reply 0 retweets 0 likes
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.