Re: Soundness of forall mixed with Coercible

Tom Ellis <[email protected]> Fri, 12 Dec 2025 23:36:40 +0000

Newsgroups	gmane.comp.lang.haskell.cafe
Message-ID	<aTynCNpHHqE6YNQP@cloudinit-builder>

On Fri, Dec 12, 2025 at 08:03:53AM -0600, Zemyla wrote:
> Wouldn't the only inhabited value of Forall [] be []?

That's right, or rather, the only non-bottom value of `Forall []` is
`MkForall []`.

> > On 11/12/2025 17:58, Tom Ellis wrote:
> > > newtype Forall f = MkForall (forall a. f 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.