小编yon*_*alf的帖子

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

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

我想创建两种类型X,Y这样类型的值X可以是A,B或者C,像这样:

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

而type的值Y只能是一个A或B类似的东西:

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

这样我就可以编写这样的代码:

foo :: X -> Int -- can pattern match
foo (A _) = 1
foo (B _) = 2
foo (C …