The Haskell Unfolder Episode 28: type families and overlapping instances
In this episode, we discuss a programming technique which allows us to replace overlapping instances with a decision procedure implemented using type families. The result is a bit more verbose, but arguably clearer and more flexible.