Haskell:以字符串形式获取数据构造函数名称

Question

假设我们有

data D = X Int | Y Int Int | Z String

我希望有一个函数getDConst

getDConst :: D -> String

根据用于其输入的数据构造函数返回“X”、“Y”或“Z”。是否有一种通用的方法可以编写此代码，而不必在每个数据构造函数上执行 case ？ (我同意依赖 Data.Typeable 或类似的解决方案)

Answer 1

我自己找到了解决方案，但将此问题留给其他人:

import Data.Data
data D = X Int | Y Int Int deriving (Data,Typeable)

let result = show $ toConstr (X 3) -- result contains what we wanted