, is_tcs :: [Maybe Name] -- Top of type args
-- Used for "proper matching"; see note
, is_tvs :: TyVarSet -- Template tyvars for full match
, is_tys :: [Type] -- Full arg types
, is_tcs :: [Maybe Name] -- Top of type args
-- Used for "proper matching"; see note
, is_tvs :: TyVarSet -- Template tyvars for full match
, is_tys :: [Type] -- Full arg types