Built-in Parameterized Types

"Parameterized types" refer to any Haskell types that take arguments. The most common example is List: