- Boxed values of polymorphic variant type are currently not printed at all. - @lpw25 claims that the existing code isn't correct in any case.
