Hacker News new | ask | show | jobs
by tel 4235 days ago
Sure they are: (forall a. X a => a) is a supertype of (forall a. (X a, Y a) => a).
1 comments
dragonwriter 4235 days ago
I stand corrected.
link