[Haskell-cafe] Type information in MVars

[Georgi Lyubenov]

Hi,

There are obviously a lot of cool tricks you can do with phantom
parameters, but they are all lost when you start looking at a `MVar`
holding a type with a phantom parameter. Is there any way to track this
type-level information, while still being able to write/read values from
multiple threads?

=======
Georgi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190428/a891ff0b/attachment.html>