An altnernative workaround for SI-8023

The bug depends on the order of type checking / symbol completion.

By typechekcing `something[Apply[_, _]]`, we can make sure that
the higher kinded type variable `k` in the following pattern
match gets the correct kind.

Ugly, but less so than the casts.