<div style='font-family:Arial; font-size:13px;'>Hi,<div><br></div><div><i><br></i></div><div><div><i>data TisanInteger = Tisan Integer</i></div><div><i><br></i></div><div><i>instance Eq (Tisan Integer) where (Tisan v) == (Tisan v') = v == v'</i></div><div><i><br></i></div><div><i>prelude></i></div><div><i>Instance_testen.hs:7:14: error:</i></div><div><i>    Not in scope: type constructor or class ‘Tisan’</i></div><div><i>    A data constructor of that name is in scope; did you mean DataKinds?</i></div><div><i>  |</i></div><div><i>7 | instance Eq (Tisan Integer) where (Tisan v) == (Tisan v') = v == v'   |              ^^^^^</i></div><div><i>[1 of 1] Compiling Main             ( Instance_testen.hs, interpreted )</i></div><div><i>Failed, no modules loaded.</i></div><div><br><br></div><div><br></div><div>what am i doing wrong?</div><div><br></div><div>best,<br><div><div style="font-family:Arial; font-size:13px;"><br></div></div></div></div></div>