9 Apr
2017
9 Apr
'17
12:10 p.m.
Hi, yes that seems to fix the issue. Thank you very much. Timotej Tomandl On 8 April 2017 at 13:55, Li-yao Xia <lysxia@gmail.com> wrote:
Hi Timotej,
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.
newtype ST2 r w a = ST2 { unwrapST2 :: ST r a }
Li-yao