Refactoring Semigroup/Monoid

Herbert Valerio Riedel hvr at
Sat Nov 17 16:20:31 CET 2012

Dan Burton < at> writes:

> What is the status on this? 

well, judging from SPJ's last comment I found on that topic, the
proposal seems to have been stuck, and it seems we have to make our
desire for that feature more apparent:

| From: <>
|  >  With regard to [1], default superclass instances, is there already a plan to 
|  > implement them? And if so, when is it expected to be finished? 
|  >
|  >  [1]
|  It definitely won't be in 7.4 I'm afraid.  
|  One thing that would be motivating would be a list of people who
|  actively want default superclass instances and why you want them.  My
|  own priorities for implementing stuff are much influenced by what
|  GHC's users seem to value.  I've added an "Applications" section to
|  [1]; do add yourself and sketch how you'd use the new feature.

More information about the Libraries mailing list