つーか、uniqueness typingのことをunique typeっていわれても
何のことかわからない人が多かったと思われ…