Comment by podgorniy

Cool idea to "type" side effects

I'm curious what other languages are trying to achieve such?