Avoid premature unfolding of `seq`
nlHsTyApps: for applying a function both on type- and term-level arguments
When calling the success continuation of a matcher, pass existential tyvars
as type arguments, not value arguments