pub fn type_name_optional<T: TypeAbi>() -> TypeName