On Thu, May 29, 2014 at 9:44 AM, Bryan O'Sullivan <bos@serpentine.com> wrote:
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/