在具有多种数据类型的ADT上更精确的模式匹配？

Question

假设我有以下代数数据类型：

data Foo = Bar Int | Baz Int | Bippy

我正在编写一个函数，给定Foo ，除Bippy任何东西都返回True。

是否有比所有数据类型上的模式匹配更简洁的方法来实现此功能？

f :: Foo -> Bool
f (Bar _) = True
f (Baz _) = True
f Bippy = False

在这个例子中，只用了3行代码。 但是，如果我有10种数据类型怎么办？

Answer 1

怎么样

f :: Foo -> Bool
f Bippy = False
f _ = True

而且您没有3种数据类型，只有3种构造函数可用于1种数据类型。