When calling the success continuation of a matcher, pass existential tyvars
as type arguments, not value arguments