On Tue, Apr 01, 2014 at 05:32:45PM -0400, Edward Kmett wrote: > Unfortunately the old class based solution also carries other baggage, > like the old data type contexts being needed in the language for bang > patterns. :( Can you explain why that is so? I don't understand. Tom