Avoid premature unfolding of `seq`, and provide a source-level binding
in GHC.Magic for cases when it slips through
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