除*以外的孩子的字符串表示

Question

我可以通过派生Typeable然后执行show . typeOf来获得具体类型的字符串表示。但是，我无法为包含Typeable以外的其他类型的类型派生*。

是否有任何通用方法可以打印出包含此类类型的类型？

简短澄清：

我的意思是

等类型

data FM10 (a::RGB_Channel)

，其中

data RGB_Channel = Red | Green | Blue

Answer 1

多态类型is being worked on。从本质上讲，您目前使用类型*进行的操作将适用于所有类型。计划是在GHC 7.8

中包含此内容