3. What happens (in terms of evaluation order) when the application
rule for CBN CPS is changed to `[MN] = \k.[N](\n.[M]nk)`? Likewise,
-What happens when the application rule for CBV CPS is changed to `<MN>
-= \k.[N](\n.[M](\m.mnk))`?
+What happens when the application rule for CBV CPS is changed to
+`<MN> = \k.<N>(\n.<M>(\m.mnk))`?
4. What happens when the application rules for the CPS xforms are changed to
- [MN] = \k.<M>(\m.m<N>k)
- <MN> = \k.[M](\m.[N](\n.mnk))
-
+<pre>
+ [MN] = \k.<M>(\m.m<N>k)
+ <MN> = \k.[M](\m.[N](\n.mnk))
+</pre>
Thinking through the types
--------------------------