haskellに関連付けられた型同義語のtypeclassインスタンスを要求する

Question

あるクラスの関連する型同義語が他のクラスのインスタンスであることを要求することは可能ですか？例えば。次のコードのようなもので（コンパイルされません！）：

class Test a where 
    type Foo a 
    instance Show (Foo a) 

は、私が実際に頼ることができるだろうFoo aは関係なく、問題の特定のaのShowことが可能であること。

明らかに、私はFoo aにしたい操作を確実にするためにクラスにメソッドを追加できますが、既存のクラスを再利用できるだけでいいですね。答えを見つけ

Answer 1

、#haskell上lyxiaに感謝：

class (Show (Foo a)) => Test a where 
    type Foo a