In this issue, @jeff.bezanson advises that we shouldn’t override how types are printed. But in some cases, particularly for type-level representations as @thautwarm is developing (and are used heavily in Soss), the default methods are way too verbose to be useful. Especially for interactive use, it’s critical to have a reasonable representation of types.
Jeff, has your opinion or advice changed on this? I understand your concern that a bug in displaying types could make debugging impossible. Is there a “safe” way to do this?