You may want to review the article linked from within the story. The original motivation here is not just to defeat the typechecker.

It begins:

Let's say you want to have a wrapper around a boxed any that you can debug.