属于两种不同类型的一个值构造函数

假设我有三个值构造函数：

A { a :: Int }
B { b :: Char }
C { c :: Bool }

我想创建两种类型X and Y这样类型的值X可以是一个A, B or C，像这样：

data X = A {...} | B {...} | C {...}

和类型的值Y只能是一个A or B，像这样：

data Y = A {...} | B {...}

这样我就可以编写如下代码：

foo :: X -> Int -- can pattern match
foo (A _) = 1
foo (B _) = 2
foo (C _) = 3
bar :: Y -> Bool -- also can pattern match with the same constructors
bar (A _) = true
bar (B _) = false
baz = A 1 -- baz is inferred to be a type that can fit in both X and Y

我知道我可以将构造函数包装在以下定义中X and Y像这样：

data X = XA A | XB B | XC C
data Y = YA A | YB B

但这似乎不整洁（必须输入XA A等等）。我可以扩展内容A, B, and C的定义X and Y, but A等等非常复杂，我不想重复定义。

这对于 Haskell（包括任何 GHC 扩展）来说可能吗？

Edit

GADT 似乎可以按要求回答我的问题（因此我将散热器的答案标记为正确），但仍然不够灵活以满足我的需要。例如，据我所知，你不能这样做：

func1 :: [XY Y_] -- returns a list of items that can only be A or B
func1 = ...
func2 = func1 ++ [C True] -- adding a C item to the list

func2应输入为[XY X_]，但这在 Haskell 中是不可能的（除非我的实验是错误的）。

经过更多的网络搜索后，我真正想要的是 OCaml 的多态变体（据我所知）仅存在于 OCaml 中（着眼于更“实用”而不是“学术”语言）。

Edit 2

请参阅 comonad 的回答。看起来确实可以做到，但是我觉得这个问题最好不要重写太多次。 :-)

类型类，如jetxee https://stackoverflow.com/questions/4256502/one-value-constructor-belonging-to-two-different-types/4256813#4256813所描述的，可能是适当的方法。

如果您还希望能够进行模式匹配和使用构造函数，那么您可以使用 GADT 和空数据声明来定义一种数据类型中的所有构造函数。如果采用这种方法，所有构造函数都将是同一数据类型的成员，同时允许您将域限制为仅构造函数的子集。

data X_
data Y_
data XY a where
  A :: Int -> XY a
  B :: Char -> XY a
  C :: Bool -> XY X_
type X = XY X_ -- Contains values built with constructors A, B, and C 
type Y = XY Y_ -- Contains only values built with constructors A and B

现在一个函数只使用A and B适用于两种类型X and Y。一个函数使用C仅适用于类型X.