I was in a bit of a rush to send this email earlier before the table got
packed up from in front of me, so I forgot to mention these little
tidbits:
* container-classes uses MPTCs+fundeps to define the classes rather than
type families. My initial preference would have been to use an
On 18 July 2010 23:35, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote:
* Someone's asked me why I don't define a Traversable-like class. The
reason is is that I haven't gotten around to it yet ;-) (as well as a
great many other things).
Ugh, I got Traversable mixed up with Foldable
