There is no KSpace type here, se we have to construct the Cell type à la mano