モジュールの相互参照 - Qiita

module B where import {-# SOURCE #-} A ( TA(..) ) data TB = MkTB !Int g :: TA -> TB g (MkTA x) = MkTB x B.hs で A モジュールをロードするのに、 import {-# SOURCE -#} A ... と SOURCE プラグマを使っている点に注目。 SOURCE プラグマを指定することで、循環参照を回避するために A.hs でなく A.hs-boot というファイルをロードするようになる。このファイルに B をロードするために必要な、最小限の A モジュールの内容を記述しておく、というわけ。

[igrep]

hs-bootファイル知らなんだ。そこまでして相互参照するメリットってなんだろう。