https://github.com/mjklemm commented: Please leave a TODO message for code-gen. Also, we will need to add semantic checks to check for the right nesting of `bind`, where the compiler can check it. https://github.com/llvm/llvm-project/pull/113662