haskell - *以外の種類の文字列表現

Question

Typeableを導出してから実行することで、具象型の文字列表現を取得できますshow . typeOf。Typeableただし、。以外の種類を含むそのような型については導出できません*。

そのような種類を含む種類を印刷する一般的な方法はありますか？

簡単な説明：

私は次のようなタイプを意味します

data FM10 (a::RGB_Channel)

どこ

data RGB_Channel = Red | Green | Blue

Answer 1

ポリモーフィック typeableに取り組んでいます。基本的に、種類の種類で現在行っていることは*、すべての種類で機能します。これをGHC 7.8に含める予定です。