9 Apr
2017
9 Apr
'17
8:10 a.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
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