Can we have this special type be a static inner class to avoid the noise in the class header?