Quais são alguns casos de uso convincentes para tipos de métodos dependentes?

Os tipos de métodos dependentes, que antes eram um recurso experimental, agora foram ativados por padrão no porta-malas e, aparentemente, isso parece ter gerado algum entusiasmo na comunidade Scala. À primeira vista, não é imediatamente óbvio para que isso poderia ser útil. Heiko Seeberger postou...