public static function userTypeString($userType) { return sprintf("%s", implode("_", array_map(function ($name, $type) { return $name . str_replace(array("frozen", "<", " ", ",", ">"), "", $type); }, array_keys($userType->types()), $userType->types()))); }