ParentFull threadvalenterry·Correct, I just continued to use the term of OP. Sum types r coproducts are what I mean.View on HN