当我的数据类型声明只有一个构造函数时，为什么必须使用newtype？

Question

换句话说，如果我有一个像

这样的声明

data Identity a = Identity a

为什么GHC看不到我只有一个构造函数并且假装它看到的是newtype而不是data？