我自己找到了解决办法，但把这个问题留给了别人：

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

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

如果不想使用Typeable，也可以使用Show。

getDConst :: D -> String
getDConst = head . words . show

Show不会输出所有的字段，因为它是惰性的。你可以在ghci中运行以下代码来测试它：

Prelude> data D = D [Int] deriving (Show)
Prelude> getDConst $ D [1..]
"D"

我有一个非常基本的答案，它只是一个简单的函数。
假设我有以下数据，数据定义中重复的Int是有意的，因为我将在后面使用无关符号：

data YES_NO_CANCEL = YES Int | NO Int Int | CANCEL Int Int Int

那么你可以创建一个函数：

extractDataType :: YES_NO_CANCEL -> String
extractDataType (YES _) = "YES"
extractDataType (NO _ _) = "NO"
extractDataType (CANCEL _ _ _) = "CANCEL"