em :: Eq a => a -> [a] -> Boolelem y [] = Falseelem y (x:xs) = (x == y) || elem y xs函数codice_21的类型codice_23具有上下文codice_24，将参数多态函数的类型变量codice_2可包括的类型，约束为属于codice_5类型类的那些类型。Haskell中的codice_27可表示“类型类继承”或“类型约束”。函数codice_21可应用于属于codice_29类型类的任何类型的元素和这个类型的列表二