ここで見た

曖昧製回避のためにtype inhabitantとしたほうが良いかもしれない

型理論における用語

和訳がわからない

直訳すれば「住民」

例えば Int 型のinhabitantは、 1 とか 888 とか

例えば ["hoge", "piyo"] は、 String[] 型のinhabitant

Unit は唯一つのinhabitantを持つ

ここでは「具体項」と訳している