<div style='font-family:Arial; font-size:13px;'>Hi,<div><br></div><div>binder.hs</div><div><br></div><div>i:: Num a => a</div><div><br></div><div><b>prelude></b>:l binder.hs</div><div><div><font color="#ff0000">typed_checked.hs:1:1: error:</font></div><div><font color="#ff0000">    The type signature for ‘i’ lacks an accompanying binding</font></div><div><font color="#ff0000">  |</font></div><div><font color="#ff0000">1 | i:: Num a=> a   | ^</font></div></div><div><br></div><div><br></div><div>binder.hs</div><div><br></div><div>i:: Num a => a<br>i = 2</div><div><br></div><div><b>prelude></b>:l binder.hs<br><div><font color="#ff6666">[1 of 1] Compiling Main             </font></div><div><font color="#ff6666">Ok, one module loaded.</font></div></div><div><br></div><div><br></div><div>Why does it need a binder to make it work?</div><div><br><br><div><div style="font-family:Arial; font-size:13px;"><br></div></div></div></div>