<DIV>Hi GHC users,</DIV>
<DIV>I've been&nbsp;&nbsp;trying to create a instance for Maybe&nbsp;type&nbsp;in the Storable class. I need to override the peek and poke methods, but I'm having some difficulties. I was intended &nbsp;to do something like this:</DIV>
<DIV>&nbsp;</DIV>
<DIV>instance Storable t =&gt;Storable (Maybe t) where</DIV>
<DIV>&nbsp;peek ptr = maybePeek peek ptr<BR>&nbsp;poke ptr valMaybe = do<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp; ptr&lt;-maybeNew (new) valMaybe<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; return()</DIV>
<DIV>&nbsp;</DIV>
<DIV>Obviously, there is a type error on the definition of peek, because&nbsp; the type of prt&nbsp; is (Ptr a), not (Ptr (Maybe a)) . I don't know how to fix it and,&nbsp; at the same time,&nbsp;keep using&nbsp;instanciation.</DIV>
<DIV>I would be&nbsp;grateful for suggestions,</DIV>
<DIV>Regards,</DIV>
<DIV>&nbsp;</DIV><BR><BR><DIV>
<DIV>
<DIV><FONT face=Verdana color=#40a0ff><STRONG>_________________________________________________</STRONG></FONT></DIV>
<DIV><FONT face=Verdana color=#40a0ff><STRONG>Nivia Cruz Quental<BR></STRONG>Graduação em&nbsp;Eng. Computação - UPE</FONT></DIV>
<DIV><FONT face=Verdana color=#40a0ff>Técnica em Telecomunicações - CEFET-PE&nbsp;- Brasil<BR></FONT></DIV></DIV></DIV><p><br><hr size=1>Crie seu <a href="http://br.rd.yahoo.com//mail_br/tagline/?http://br.info.mail.yahoo.com/">Yahoo! Mail</a>, agora com 100MB de espaço, anti-spam e antivírus grátis!