A possible syntax could represent the
value being matched explicitly, say using ? to represent the value currently
being matched, then the pattern could be written as an equation:

    f (prodSize ? = Small) = ...
    f (prodSize ? = Medium) = ...
    f (prodSize ? = Big) = ...