[Haskell-cafe] Eliminating phantom type

Li-yao Xia lysxia at gmail.com
Sat Apr 8 11:55:23 UTC 2017

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 }


More information about the Haskell-Cafe mailing list