3 ms·Sure they are: (forall a. X a => a) is a supertype of (forall a. (X a, Y a) => a).by tel 12y agoSure they are: (forall a. X a => a) is a supertype of (forall a. (X a, Y a) => a).dragonwriter 12y agoI stand corrected.