Hi Haddock is very cool idea. I like it, but I see that Haddock doesn't support existencial and universal quntified types. Is it too difficult to implement that? I want to rewrite Object I/O documentation but I need support for these features. I'll volunteer to extend Haddock if there isn't any who already work about that. Krasimir __________________________________________________ Do You Yahoo!? Yahoo! Health - your guide to health and wellness http://health.yahoo.com