どのようにタイプレベルコードをデバッグしますか？

Question

ほとんどの場合、暗黙のうちに見つからないエラーが発生します。あなたは暗黙の構造の連鎖がどこで失敗したのか分かりません。どうやら、あなたはランタイムのデバッグやプリントステートメントを使うことはできません。だからあなたのコードを凝視する以外に、どのようにタイプレベルのプログラムをデバッグするのですか？

Answer 1

私はより良い答えが得られたと思いますが、ここではそれを示します。パラメータを明示的に1つずつ渡して、より有用なエラーを表示します。