Previously, the check for impredicative type applications was
in the wrong spot.

Test case: typecheck/should_fail/T11355