extension for iso-recursive types
comment
An iso-recursive example.

SA, taken from:
http://www.cs.cornell.edu/courses/cs611/2001fa/scribe/lecture32.pdf