Hello Chad, Wednesday, November 30, 2005, 5:07:02 AM, you wrote: SC> I've been reading some of the articles about comonads, and I SC> thought the idea of giving main the type OI () -> () was pretty SC> interesting. it looks interesting. what are you reading? -- Best regards, Bulat mailto:bulatz at HotPOP.com