Archived tweet #3168 from the @leastfixedpoint Twitter Archive

@BrianTRice messages equalling constructors of products. That gives a place to hang fixity, precedence & associativity too.