<div dir="ltr"><div>Hi,<br>yes that seems to fix the issue. Thank you very much.<br></div>Timotej Tomandl<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 8 April 2017 at 13:55, Li-yao Xia <span dir="ltr"><<a href="mailto:lysxia@gmail.com" target="_blank">lysxia@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Timotej,<br>
<br>
It seems you can merge r and s. This solution seems to rely on features that are very specific to the set of effects you want to model, but I couldn't pinpoint what these are.<br>
<br>
   newtype ST2 r w a = ST2 { unwrapST2 :: ST r a }<span class="HOEnZb"><font color="#888888"><br>
<br>
Li-yao<br>
<br>
</font></span></blockquote></div><br></div>