-- Used for "rough matching"; same idea as for class instances
, fi_tcs :: [Maybe Name] -- Top of type args
-- Used for "rough matching"; same idea as for class instances
, fi_tcs :: [Maybe Name] -- Top of type args
-- Used for "proper matching"; ditto
, fi_tvs :: TyVarSet -- Template tyvars for full match
-- Used for "proper matching"; ditto
, fi_tvs :: TyVarSet -- Template tyvars for full match