" list → bool且"’’a"可译为任何定义了任何定义了相等判断的类形。在Haskell中，限定是通过要求类型属于某个类型类，因此同样的函数在Haskell中可写为：formula_7。大多数支持参数多态的面向对象语言可以把参数限定为给定类型的子类型。(见子类型多态)下述Java例子中，类型参数T被限于I的子类：class I {class A <T extends I> {