Haskell レポジトリには、cabal というユニークな単語の広範なコレクションがあります (非常に誇張されています)。とにかく、今日の用語は分離プリミティブです。アイソレート プリミティブとは 非分離プリミティブと比較してどうですか? 残念ながら、私には Haskell 用語のほとんどを知るバックグラウンドがなく、Google はこの用語に関してあまり役に立ちません。
私がよく知っている命名法では、プリミティブはスーパータイプを持たないタイプとして定義されており、isolate が接頭辞として使われているのを見たことがありません。