<div dir="ltr">Hi!<div><br></div><div>Yes.</div><div> </div><div>Thanks I resolved my problem. The explanation is here:</div><div><br></div><div><a href="http://stackoverflow.com/questions/39112380/no-instance-for-show-arising-from-a-use-in-main-level?noredirect=1#comment65572477_39112380">http://stackoverflow.com/questions/39112380/no-instance-for-show-arising-from-a-use-in-main-level?noredirect=1#comment65572477_39112380</a><br></div><div><br></div><div class="gmail_extra"><br><div class="gmail_quote">2016-08-23 20:23 GMT-04:00 Imants Cekusins <span dir="ltr"><<a href="mailto:imantc@gmail.com" target="_blank">imantc@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello Tatiana,<div><br></div><div>these signatures do not look good:</div><div><br></div><div><span class=""><div>main :: (Show (IO J2s)) => IO()</div><div><br></div></span><span class=""><div>test :: (Show (IO J2s)) => String -> IO()</div><div><br></div></span><span class=""><div>testParser :: (Show (IO J2s)) => IO()</div></span></div>​<div><br></div><div>constraints are used to specify type variables. IO J2s looks like * (a fixed type).</div><div><br></div><div>what errors do you see without these constraints?</div></div>
</blockquote></div><br><br clear="all"><div><br></div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><br><br><br></div></div>
</div></div>