For type safety it would be nice, if the type of page entries is defined at Page, e.g. Page. This would allow to handle different page subclasses the same way without losing type safety.