chapter ‹Tagged Sum-of-Products Representation› text ‹ This theory sets up a version of the sum-of-products representation that includes constructor and selector names. For an example of a type class that uses this representation see Derive\_Show. › theory Tagged_Prod_Sum imports Main begin context begin qualified