By the way, wasn't there some effort to build a new monad library which should replace most of the things under Control.Monad? Best wishes, Wolfgang