I don't know if it is a big deal or not about box being a constructor. I don't think (but I certainly haven't tested it out) if I often apply constructors and then count on the result still being polymorphic, other than perhaps tuple or something. Still, if it isn't hard, why not.