TSCell cannot be different from typename KSpace::SCell, no ?