タイプを表示可能にします。

Question

タイプをShowableにするには？

type InterpreterMonad = StateT (Env, Env) (ErrorT String IO)() 

通常、私はderiving Showを入力しますが、私はtypeないnewtypeやdataを持っています。

P.S.上記の書き込み方法はnewtype？

Answer 1

typeは、タイプシノニムを作成します。インスタンスを作成する場合は、タイプ同義語のターゲット（この場合はStateT (Env, Env) (ErrorT String IO)()）に対してインスタンスを作成する必要があります。ただし、StateTタイプのインスタンスはShowを派生させることができません。StateTは関数タイプのラッパーであり、GHCは関数タイプのためにShowを派生することができないためです。

次のようにのnewtypeを書くことができます：

newtype InterpreterMonad = MkInterpreterMonad (StateT (Env, Env) (ErrorT String IO)()) 

をしかしInterpreterMonadは今関数型のラッパーのラッパーであるので、これは、あなたがいずれかのShowを導出することはできません。