“不依赖”类型的名称？

Question

我觉得这是一个愚蠢的问题，但是我很难找到权威的答案。是否有任何不依赖相关类型的名称？

想到了简单一词，但从技术上讲，它比“不依赖”具有更多含义，因为它还意味着缺乏多态性或类型构造函数。