おまえは何を考えているんだ？ 教えてくれ！

• 型推論してくれるのはいいけど、その結果がどうであるかを知りたい。
• autoで証明してくれるのはいいけど、何をしたのか教えてくれ。
• resolutionで、ユニフィケーションの結果を教えてくれ。

何を考えてるかワカランぞ、教えてくれ。教えてくれないのか？ お前は冷たいな。