Ah, thanks! I'd remembered the term "data constructor" from Haskell and called it a type constructor instead.