[ackfoobar]

That typeclass resolution can encode some heavy computation, the example being n-queens in the article.

[tines]

That's only the case when you turn on the "enable arbitrary computation in typeclasses" flag, so I'd say it's not much of a worry.