Как вы отлаживаете код уровня типа?
В большинстве случаев вы получаете неявную ошибку «не найдено». Вы не знаете, где в цепочке неявного строительства это не удалось. По-видимому, вы не можете использовать время отладки или оператор печати. Так как же вы отлаживаете программу уровня типа, кроме того, что действительно пристально смотрите на свой код?