undefined | Better HN

0 pointstel11y ago0 comments

Sure they are: (forall a. X a => a) is a supertype of (forall a. (X a, Y a) => a).

0 comments

I stand corrected.

j / k navigate · click thread line to collapse

0 pointstel11y ago0 comments

Sure they are: (forall a. X a => a) is a supertype of (forall a. (X a, Y a) => a).

I stand corrected.

j / k navigate · click thread line to collapse