New post "When implicitly isn't specific enough".

In which I explain scalaz/scalaz#621 and a question about getting Shapeless function instances that's come up a few times recently.