<br>data Bozo =<br>&nbsp;&nbsp;&nbsp; Bozo {<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; id :: Int<br>&nbsp;&nbsp;&nbsp; }<br><br>bonzo :: Maybe Bozo -&gt; IO ()<br>bonzo&nbsp;&nbsp; maybe_bozo = do<br>&nbsp;&nbsp; if maybe_bozo == (Just (Bozo&nbsp; x))<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; then<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; return ()<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; else<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; return ()<br>
~&nbsp; <br><br>I want &quot;x&quot; to be a pattern that matches &quot;id&quot; .... ??<br><br>Kind regards, Vasili<br>&nbsp;