Equivalent form, likewise with broken codegen.
Revert "Equivalent form, likewise with broken codegen."

This reverts commit dafb6aad773328a0f47c734723305dd9b76e38f3.
Successful eager (and thus not equivalent) form.
Revert "Successful eager (and thus not equivalent) form."

This reverts commit 51fbec9e4f4a4bfdf8d83dcb19c1f739f8822643.