Haskell：stack で import Control.Monad.Free が曖昧であるとエラーが出た。曖昧性を除去したい。

Question

大昔、C言語をかじった者です。
手続き型言語以外のパラダイムも知りたいとHaskellを学びはじめたのですが。
自由モナドを知りたいと思い
import Control.Monad.Free
というソースを書いてみたところ、そんなパッケージは見つからないと叱られました。
そこで、うっかり
stack install control-monad-free
と
stack install free
を両方行ってしまったら、今度は
Control.Monad.Free が曖昧である。旨のエラーが出ました。
どうやら、freeのみinstallするべきだったようです。
しかしstack uninstall は非推奨とのことで、control-monad-free のinstallをなかったことにする方法が分かりません。
このような場合、曖昧性を除去するためにはどうしたらいいのでしょうか？
haskell も stack も超初心者でいまだ使い方もよく分かっていません。
たまたま「ファンクターがあれば、それを使ってモナドが作れる筈だ。役に立つかどうか分からないが」と考えて、自由モナドの車輪の再発明をしてしまったようです。どうも役に立つようです
。
取り敢えず、自力で考えたものが一般に流布されているものに一致しているか？答え合わせをしたいのですが、一般論としてモジュール名が重なって曖昧になった場合の対処法をお聞きしたいです。

OSはlubuntuで　/etc/os-release
では、
NAME="Ubuntu"
VERSION="18.04.2 LTS (Bionic Beaver)"
です。

Answer 1

Haskell, というかGHCのパッケージは、モジュール名とパッケージ名が1対1に対応していないのが悩ましいですよね。
そのような場合、PackageImports というGHCの言語拡張を使ってください。

例えばfreeパッケージのControl.Monad.Freeをimportしたい場合は、下記のように書きます。

{-# LANGUAGE PackageImports #-}
-- ^ GHCの言語拡張は、このように特殊なコメントで宣言します。
--   `module` よりも前で宣言するのがポイントです。
module ModuleUsingFree where

import "free" Control.Monad.Free

GHCiで試す場合は、下記のように入力してください。

> :set -XPackageImports
> import "free" Control.Monad.Free

Comments

[myoon]

ありがとうございます！！
曖昧性が解決しました。

別のエラーが出ましたが、私の方のバグでしょう。解決できない場合は別質問とします。感覚がCなどと違うので慣れるまでが大変です。