translateExpression scope _ nsid (L1.L1ExMkProduct ss values) =
  L2.L2ExMkProduct ss
    <$> mapM (\(l, ex) ->
               (,) <$> translateLabelOnly "product label" scope ss nsid l
                   <*> translateExpression scope ss nsid ex
             ) values
translateExpression scope _ nsid (L1.L1ExMkProduct ss values) =
  L2.L2ExMkProduct ss
    <$> mapM (\(l, ex) ->
               (,) <$> translateLabelOnly "product label" scope ss nsid l
                   <*> translateExpression scope ss nsid ex
             ) values
translateExpression scope _ nsid (L1.L1ExMkProduct ss values) =
  L2.L2ExMkProduct ss
    <$> mapM (\(l, ex) ->
               (,) <$> translateLabelOnly "product label" scope ss nsid l
                   <*> translateExpression scope ss nsid ex
             ) values