• Grove published at POPL 2025