[Haskell-cafe] Eliminating phantom type

[Timotej Tomandl]

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 at 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170409/b054c1ea/attachment.html>