- pat_tvs :: [TyVar], -- Existentially bound type variables
- -- including any bound coercion variables
- pat_dicts :: [id], -- Ditto dictionaries
+ pat_tvs :: [TyVar], -- Existentially bound type variables (tyvars only)
+ pat_dicts :: [id], -- Ditto *coercion variables* and *dictionaries*
+ -- One reason for putting coercion variable here, I think,
+ -- is to ensure their kinds are zonked