Funkce

Unifikace vzorů II●a hodnotový vzor lze kombinovatTrue && True = Truex && y = Falsedruhý předpis se uplatí jen v případě, že první není splněn(na pořadí záleží!). Vázané proměnné x, y se přivýpočtu neuplatní, lze je nahradit anonymním vzorem(označena podtržítkem)_ && _ = Falsekaždý výskyt podtržítka symbolizuje jinou (= obecněnezávislou) hodnotu (k vázání nedojde)Běžnou proměnnou lze ve vzoru použít jen jednou!(nelze tedy např. psát x == x = True v definici shodnosti)