Friends

Ken, Oleg, and I have finished Version 2 of our paper "Fun with Type
Functions", which gives a programmer's tour of what type functions are and
how they are useful.

http://haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns

If you have a moment to look at, and wanted to help us improve it, the
above link goes to a wiki page where you can comment on the paper or
discuss it.  We still have time to improve it.

Thanks

Simon