[Haskell-cafe] Re: Soundness of forall mixed with Coercible

On Fri, Dec 12, 2025 at 07:34:09AM +0200, Georgi Lyubenov wrote:

This is (somewhat) tangent to your question, but what are you using Forall for? Forall seems like it should just be the same as Void, but maybe I'm totally missing something.

My Forall is newtype Forall f = MkForall (forall a. f a) which is not the same as Void. Perhaps you're thinking of newtype AnotherForall = MkAnotherForall (forall a. a) ?