General recursive types are a little annoying syntactically.
Went to dinner at Mark Stehlik's. People I knew there
were Martin, Drew Hoskins, Frances Ning (to whom
a year or three ago I tried to sell a Linear
Algebra book I had already sold, I think :)
Evan Chang and Ana Ramirez. The food was quite good
(turkey, potatoes, rice with peas and bacon (!),
glazed carrots, rolls) and the conversation was
pretty amusing. In particular we swapped lots
of Rudich and Kesden stories.