On 22 Nov 2007, at 10:17 AM, Maurí cio wrote: > Hi, > > If I have two computations a->IO b > and b->IO c, can I join them to > get an a->IO c computation? I imagine > something like a liftM dot operator. This is called Kleisli composition, by the way; it's defined as (>=>) in Control.Monad. jcc