Well there's that, yes. That's more like very basic Gamification of dull activities (more specifically this). (1)

But that's working from a task towards something more game-like. Rather than designing a game experience from the outset. That seems a suboptimal way to do it. And yeah, the current state of education-in-games, there's only going to be referential tidbits here and there that a few might look into. But if you're designing a game and have a topic of interest you enjoy, it wouldn't likely take much extra development time to incorporate it, especially if you really are interested.

Facilitating education is the goal, I guess. Rather than providing an in-depth education of whatever topic.

(1) I am going to reference Extra Credits a lot when discussing games. I can't recommend it enough. EC and this textbook are my main influences and sources of knowledge on games and game design, aside from the regular expected amount of game-playing.