Aug 3 2016
May 31 2016
Never mind, I had a misunderstanding about how superclass dictionaries combine with newtype deriving (i.e. pretty much not at all).
Hm. What about subclasses of Typeable, particularly Data? E.g. does the following compile:
May 30 2016
Great! I'm not going to understand all of this code, but a couple things I noticed on browsing through it: