Wie debuggen Sie Typelevel-Code?

In den meisten Fällen wird nur ein impliziter, nicht gefundener Fehler angezeigt. Sie wissen nicht, wo in der Kette der impliziten Konstruktion dies fehlgeschlagen ist. Anscheinend können Sie Runtime-Debug- oder Print-Anweisungen nicht verwenden. Wie können Sie ein Programm auf Typebene debuggen, ohne wirklich hart auf Ihren Code zu starren?