Re: Soundness of forall mixed with Coercible
Tom Ellis <[email protected]> Fri, 12 Dec 2025 08:03:19 +0000
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <aTvMR2ItniXKNxCf@cloudinit-builder> |
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)
?
_______________________________________________
Haskell-Cafe mailing list -- [email protected]
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.