Beyond simple value-type pairs, a virtual "region" of code is associated with an "effect" component describing what is being done with what, and enabling for example to "throw" an error report.
Осим једноставних вредности-куцања парова, виртуелни "регион" кода сарађује са "ефектном" компонентом описујући шта је урађено са чим, и дозвољавајући на пример да се "одбаци" извештај грешке.