A type provider generating an endless stream of facts about Don