And similarly not knowing the terminology does not imply someone does not know the concepts

Which is why I keep focusing on understanding the Haskell type system. Those are necessary concepts, which you will learn the names of along the way.