<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div><br></div><blockquote type="cite"><div><span>now how can I know the behaviour in between the line of a Monad.</span><br><span>I aimagine that this is the purpose of the bind method (>>=).</span><br></div></blockquote><div><br></div>Yes, that's the case.<div><br></div><div><blockquote type="cite"><div><span></span><span>Where is this  defined  for Maybe and IO ?</span><br></div></blockquote><div><br></div><div>You just look at the Monad instance for the type. IO is a bit special, but</div><div>here is the one for Maybe[1].</div><div><br></div><div>Greetings,</div><div>Daniel</div><div><br></div><div>[1] <a href="http://hackage.haskell.org/package/base-4.9.1.0/docs/src/GHC.Base.html#line-665">http://hackage.haskell.org/package/base-4.9.1.0/docs/src/GHC.Base.html#line-665</a></div><blockquote type="cite"><div><span></span></div></blockquote></div></body></html>