Note this does not impact the runtime cost of other downcasing operations. The final beam file grew only in 8kb.