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?