Syntax tweak for sum/product types