你所描述的不是一个模式，它是一个类型。Haskell也有类型，并且这些类型在 * 编译 * 时解析。每个类型可以有几个模式。例如，列表定义为：

data Color = Red | Green | Blue | Other String

现在我们可以定义一个函数foo：

foo :: Color -> String
foo Red = "Red"
foo Green = "Green"
foo Blue = "Blue"
foo (Other s) = s

粗体字的元素都是 * 模式 *。但这些并非不可反驳：第一个将检查我们是否已经给了函数Red，第二个检查我们是否已经给了它Green，第三个检查值是否是Blue，最后我们有一个模式(Other s)，它将与所有Other模式匹配（不管s的值是什么），因为s是一个 * 变量 *，而变量是一个不可反驳的模式：我们不对字符串的值执行任何检查。
请注意，这些检查是在 * 运行时 * 进行的：然而，如果我们调用foo "Red"，我们将在 * 编译时 * 得到一个类型错误，因为Haskell编译器知道foo具有类型Color -> String。
如果我们会写：

foo :: Color -> String
foo c = "Some color"
foo Red = "Red"

c是一个无可辩驳的模式：它将匹配任何Color对象，因此第二行foo Red永远不会匹配，因此c是一个 * 不可反驳的模式 *。

不，传递一个其他类型的值并不是模式匹配的失败。这是一个类型错误，代码甚至无法编译。形式参数是不可反驳的模式 * 对于一个类型良好的程序 *，这是编译器允许你运行的唯一类型的程序。

在Haskell中，你可以用不同的方式定义类型，其中之一就是引入一个 sum type，如下所示：

data FooBar = Foo Int | Bar Bool

您可以尝试使用模式匹配编写如下函数：

myFunction (Foo x) = x

然而，这将是一个部分匹配的函数，如果你试图用myFunction (Bar False)调用它，你会得到一个异常。
另一方面，您也可以定义单一案例总和类型，如下所示：

data MyInt = MyInt Int

在这里，您可以编写如下函数：

myFunction' (MyInt x) = x

在这里，您仍然使用模式匹配，但是由于只有一个case，所以这是一个完全匹配。如果调用代码编译，匹配不会失败。
上面的MyInt实际上只是Int的一个 Package 器，所以你可以说，如果你写一个接受Int的函数，就像这样，它是同一种模式匹配：

myFunction'' :: Int -> Int
myFunction'' x = x + 42

虽然Int没有一个值构造函数可以用来进行模式匹配，但是x是一个总是匹配Int值的模式，因此可以说函数参数是一个总是成功的匹配。