A potential impl would be that instead of searchin...

# language-proposals

[raulraja]

A potential impl would be that instead of searching for instances of var or effectful functions that return Unit this could be turned the other way around to assume everything is an effect that is not a val declaration or another pure invocation.
This would rule out cases where side effecting functions do not return Unit but an actual value.