Hello Ch., Monday, January 02, 2006, 9:36:03 PM, you wrote: CAH> maybe you misunderstood me. Take the example of the ST monad. If you are i feel that it will be clearer if you will compare Q with IO monad -- Best regards, Bulat mailto:bulatz at HotPOP.com