ライブラリを作っているのですが、
ある型クラスのインスタンスを定義している時、
その型クラスが持つ複数の関数の一部だけを実装し、
残りの関数は何らかの理由で未実装のままライブラリを公開したいとします。
（それを実装するのはまだ難しく、とりあえず試用版として公開するとか）

この場合、その関数の実装を undefined 関数で代用しても、
コンパイルは一応問題なく通ってしまい、ライブラリのユーザーは
実行時に例外が起きて初めて未実装に気づきます。
（気づければまだいい方で、メッセージも分かりやすいとはとても言えない）

それを実行時ではなく、
その関数を使用しているモジュールをコンパイルしている時に、
何かメッセージを生じさせてコンパイルエラーを起こし、
未実装であることを知らせたいです。

しかし、そのインスタンスの実装済みの関数だけを使用している場合は、
問題なくコンパイルを通らせたいです。

何かいい方法は無いでしょうか。
（使用コンパイラ：GHC）