Comment by markasoftware

1 day ago

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

0 comments