Show: support for abstract inner types.