モジュールのインポートについて

データコンストラクタを明示的にimportするときは、

型コンストラクタ(データコンストラクタ)

とかく。

例えばこんなモジュールがある場合。

module Test where
data ABC = ABC int
...

他のモジュールからこのモジュールのTestだけを使いたくなったら次のようにしてしまいがち。

import Test ( ABC )

これは間違いで、正しくはこうする。

import Test ( ABC(ABC) )

理由は…昔どっかで読んだ気もするけど、忘れました。