document (super of Type) syntax