Should be parameterized with Space and KSpace, and use a parameter of type typename KSpace::SCell.