13 Dec
2025
13 Dec
'25
5:06 a.m.
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)