Gustavo Villavicencio wrote: > Hi all, > > I am trying to understand the algebraic laws and operators > behind a functional expression... > > f >>= g \equiv g* . f > > in the Kleisli Star context. Is this right? Yep. > If it is so, can I combine g*.f with a fork for example? What do you mean by a "fork"? Regards, Frank