与Data.Data.toConstr混淆

Question

我不明白为什么对于给定的数据类型

import Data.Data
data T a = T1 a | T2 deriving Data

表达

toConstr (Just ()) == toConstr (T2 :: T Int)

返回True，同时

toConstr (Just ()) == toConstr (T1 ())

返回False。

相关问题

Answer 1

引用文献资料的话-

请注意，不同类型的构造函数的相等性可能不起作用--即对False的构造函数，没有任何东西可以比较相等。

Just ()是Maybe ()的构造函数--它不一定会将false与T的构造函数进行比较。