Curry can express this property also in the following more concise way: last (ys++) = e Haskell does not allow such a declaration since the pattern in the left-hand side contains a defined function (++).
Curry poate exprima această proprietate și în următorul mod mai concis: last (ys++) = e Haskell nu permite o astfel de declarație, deoarece modelul din partea stângă conține o funcție definită (++).