İki argümanın başka bir işlevini alan daha yüksek bir sıralama işlevi isAssociative oluşturmak mümkün mü ve bu işlevin birleştirici olup olmadığını belirler mi? Benzer soru, ancak değişebilirlik gibi
Bir operatörün değişmez olduğunu belirtmenin bir yolu var, bu yüzden her iki yönde de aynı tanımları vermek zorunda kalmam. Örneğin: Burada data Nat = Zero | Succ Nat
(+) :: Nat -> Nat -> Nat
Zero