Title: The magic type, a Christmas parable