<div style='font-family:Arial; font-size:13px;'>Hi,<div><br></div><div><b>superclass.hs</b></div><div><br></div><div>myX = 1 :: Int<br><br>sigmund  :: Int -> Int <br>sigmund x = myX</div><div><br></div><div><br></div><div>prelude> :l superclass.hs<br><div><i><font color="#ff6666">[1 of 1] Compiling Main </font></i></div><div><i><font color="#ff6666">Ok, one module loaded.</font></i></div></div><div><br></div><div>==================================================================================<br><br><div><div style="font-family:Arial; font-size:13px;"><b>superclass.hs</b><br><br>myX = 1 :: Int<br><br>sigmund  :: Num -> Num <br>sigmund x = myX</div></div></div><div style="font-family:Arial; font-size:13px;"><br></div><div style="font-family:Arial; font-size:13px;">prelude> :l superclass.hs</div><div style=""><div style=""><i><font color="#ff6666">typed_checked.hs:3:13: error:</font></i></div><div style=""><i><font color="#ff6666">    • Expecting one more argument to ‘Num’</font></i></div><div style=""><i><font color="#ff6666">      Expected a type, but ‘Num’ has</font><b style=""> kind ‘* </b><font color="#ff6666">-> Constraint’</font></i></div><div style=""><i><font color="#ff6666">    • In the type signature: sigmund :: Num -> Num</font></i></div><div style=""><i><font color="#ff6666">  |</font></i></div><div style=""><i><font color="#ff6666">3 | sigmund  :: Num -> Num    |             ^^^</font></i></div><div style=""><i><font color="#ff6666"><br></font></i></div><div style=""><i><font color="#ff6666">typed_checked.hs:3:20: error:</font></i></div><div style=""><i><font color="#ff6666">    • Expecting one more argument to ‘Num’</font></i></div><div style=""><i><font color="#ff6666">      Expected a type, but ‘Num’ has kind ‘* -> Constraint’</font></i></div><div style=""><i><font color="#ff6666">    • In the type signature: sigmund :: Num -> Num</font></i></div><div style=""><i><font color="#ff6666"><br></font></i></div><div style=""><i><font color="#ff6666"><br></font></i></div><div style="">===================================================================================</div><div style=""><br></div><div style="">I would think since Num is a superclass of Int defining the type in the superclass would be OK, also in the error message it refers to (see black) what does that refer to?</div><div style=""><br></div><div style="">thanks!</div></div><div style="font-family:Arial; font-size:13px;"><br></div><div style="font-family:Arial; font-size:13px;"><br></div></div>