[Haskell-cafe] Type information in MVars

Georgi Lyubenov godzbanebane at gmail.com
Sun Apr 28 09:45:24 UTC 2019


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?

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

More information about the Haskell-Cafe mailing list