Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and Theory. Summer School on Generic Programming. 2002.
Just how abstract can you get? If you always see one more level of abstraction, this is for you.
These notes are quite detailed (and long, at 50 pages). The theoretical part is a bit dense, but the first part gives many examples and should be clear to anyone who fits the description in the first sentence of this message.
Posted to functional by Ehud Lamm on 10/29/02; 7:16:37 AM