Previously, the check for impredicative type applications was in the wrong spot. Test case: typecheck/should_fail/T11355