This is one possible feature that helps with implementing override typeclasses or implicits.

local type declarations are probably important in combination with this in contexts where confluent instance resolution is important.

See also this GHC proposal which demonstrates what scoped type class instances might look like in Haskell.