[Haskell-cafe] Type information in MVars

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Sun Apr 28 09:56:42 UTC 2019

On Sun, Apr 28, 2019 at 12:45:24PM +0300, Georgi Lyubenov wrote:
> 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.

That's an intriguing statement.  Why are they lost?

More information about the Haskell-Cafe mailing list