World is now a concrete type.