Comment by markasoftware

20 hours ago

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

0 comments