This has been discussed before, but is there interest in having a KEEP for some sort of mechanism to have compiler-verified pure lambdas? It'd be really nice considering Kotlin's functional aspects. I could write functional code that I know has no side-effects