Comment by SkiFire13
1 day ago
> type constructors
Nit: the type constructor is `Result`: given two types `A` and `B` (not instances of those types, but actual types) it gives you a new type `Result<A, B>`.
`Ok` and `Err` are called "variants" and can be used to construct a new _instance_ of `Result<A, B>`.
Ah, thanks! I'd remembered the term "data constructor" from Haskell and called it a type constructor instead.