fix show() for TypeConstructor