On Wed, 2008-10-15 at 11:55 +0800, Magicloud wrote: > Hi, > As some articles say, do notation is expand to (>>) and (>>=) when > being compiled. > So I want to know the details. If you want to know the details, ask the Report. It's perfectly readable. http://www.haskell.org/onlinereport/