したがって、私の最終的な目標は、プロジェクトがインポートするすべてのエンティティが、動作すると主張するバージョンに存在することを確認することにより、cabal ファイルの依存関係の正確性を評価することです。
適切な出発点は、単一のソース ファイルが使用するすべてのインポートされたエンティティのリストを検索することです。必要に応じて、それらがどこから来たかについての情報も含めます。
クラス インスタンスの使用を検出するのは簡単ではないため、当面はクラス インスタンスのケースを無視します。
理想的な答えは、まさにこれを行うツールへのポインターですが、自分で作成するために必要なリソースを指摘する答えも受け入れます(GHCはこの情報を収集しますか?どこかにダンプしますか?できますか?そうするように説得されますか？）