GeneralizedNewtypeDerivingインスタンスの1つまたは2つのメソッドをカスタマイズする方法はありますか？

Question

HaskellのGeneralizedNewtypeDerivingメカニズムは素晴らしいです。それを見ていない人のために、

newtype SkewOptT α = SkewOptT (StateT Bool α) 
    deriving (Applicative, Functor, Monad, MonadTrans) 

のようなものを書くことは、自動的に

instance [overlap ok] Monad => Monad (SkewOptT) 

、のようなインスタンスを生成しますが、私の型クラスの1のために、私はいくつかのメソッドをカスタマイズしたいです。これらのメソッドに対してGeneralizedNewtypeDerivingの機能を無効にするか、無効にする方法はありますか？ typeclassは、for（ループ）、parfor（並列ループ）、fcndef（新しい関数を追加する）などのいくつかの基本的なDSL命令をエンコードします。そして、それを複数のタイプメスに分割する完全な方法はありません。自動的に1つを派生させ、もう1つは手作業で書く。

Answer 1

いいえ、これはできません。 Default signatures（GHC 7.2の新機能）は、ここでクラスを分割するのに役立ちます。メソッドのデフォルトの実装を他のタイプメッシュの観点から定義することができるので、いくつかのインスタンスを派生させ、別のクラスのインスタンスでオーバーライドするメソッドだけを埋め込むことができます。

実際には、newtypeはいくつかの前提条件が満たされているかどうかを確認してから、辞書を直接再利用します（newtypeは基になる型と同じ表現を持つため）。詳細はthe documentationを参照してください。