On Thu, May 29, 2014 at 9:44 AM, Bryan O'Sullivan
Yes, of course we should. The whole point of having typeclasses is that the instances should make sense for everyone. The bar for introducing both typeclasses and especially automatically derived instances is a whole lot higher than "works for me, sometimes".
I think a lot of early haskell programmers are very biased towards type classes when higher order functions are a much better solution to a given problem. You can write automatic deriving code for user classes directly now: http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/generic-programming.h... currently GHC only, but as soon as type families are solid It's definitely something I'm putting into jhc. John -- John Meacham - http://notanumber.net/