<div dir="ltr">Hi, <div><br></div><div>Looking at the definition of return function for a Monad, it is described as - </div><div><br></div><div><font face="monospace, monospace">return :: a -> m a</font>  <br></div><div><br></div><div>However when I do - </div><div><br></div><div><font face="monospace, monospace">return (Just 3) </font></div><div><font face="monospace, monospace"><br></font></div><div><font face="arial, helvetica, sans-serif">The result is </font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Just 3</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="arial, helvetica, sans-serif">and not </font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Just (Just 3)</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="arial, helvetica, sans-serif">If I understand the definition correctly (which doesn't seem to be the case) the return function should wrap the parameter (which in my case is 'Just 3') into the Maybe Monad and therefore should return me 'Just (Just 3)' </font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif">Please can someone help explain.</font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif">Thanks,</font></div><div><br clear="all"><div><div><div dir="ltr"><font color="#0b5394"><font style="background-color:rgb(255,255,255)"><font size="2" face="georgia, serif">Shishir Srivastava</font><br><font face="georgia, serif"> <span></span><span></span><a href="tel:%2B44%20%280%29%20750%20127%205019" value="+447501275019" target="_blank">+44 (0) 750 127 5019</a></font></font><br></font><br></div></div></div>
</div></div>