型一意性ってのはClean 独自の物なの？それとも最近の関数型言語の流行？
Clean以外で型一意性の考え方のある言語があれば教えてください。