Using tcSplitSigmaTy in instanceHead' (FIXME is resolved.)