Similarly, extra variables (i.e., variables not occurring in the left-hand side of the defining equation) are explicitly declared by “where...free” in order to provide some opportunities to detect bugs caused by typos.
În mod similar, variabilele suplimentare (adică variabilele care nu apar în partea stângă a ecuației definitorii) sunt explicit declarate de "unde ... free" pentru a oferi unele posibilități de a detecta bug-uri cauzate de tipărire.