jbun77··on The Algebra of Algebraic data typesThanks - wasn't obvious to me either. Am I missing something though, I only see six inhabitants in your gist for Tri?