I wish Haskell gave typeclass authors more control over defaulting. I see there are a number of proposals here: 

Are any of these being actively pursued? If not, why not, and if so, what proposals will potentially make it into Haskell eventually?

Just curious,

Andrew