927723c766
First, the order of arguments is swapped. Second, projection erasure for argType was too aggressive. We should instead retain the projections that are under an invariant position.