public function __toString() { $stringTypes = array_map(function ($type) { return $type->__toString(); }, $this->types); return implode('|', $stringTypes); }