Characteristic predicate TypeObjectOutput :: TypeObjectOutput
TypeObjectOutput
(
)