[Haskell-cafe] Eliminating phantom type

Timotej Tomandl timotej.tomandl at gmail.com
Sun Apr 9 12:10:23 UTC 2017

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>

More information about the Haskell-Cafe mailing list