The constructor HsSplicedT occurs only in the GhcTc pass. This enforces this fact statically via TTG.