28 Apr
2019
28 Apr
'19
5:56 a.m.
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?