Nem csak ezt. Runtime karakterisztikát sem várhatsz mondjuk egy sort() library függvény szignatúrájától, nevétől, pláne egy interfésztől.
Például van egy hashtable interfészed, N implementációval. Minden implementációnak a része az, hogy ez HOGYAN implementálja a megadott interfészt: mi a hash függvény.
Nem kell, hogy side effectes legyen a kód.