translateExpression scope _ nsid (L1.L1ExProject ss label) =
  L2.L2ExProject ss
    <$> translateLabelOnly "projection label" scope ss nsid label
translateExpression scope _ nsid (L1.L1ExProject ss label) =
  L2.L2ExProject ss
    <$> translateLabelOnly "projection label" scope ss nsid label
translateExpression scope _ nsid (L1.L1ExProject ss label) =
  L2.L2ExProject ss
    <$> translateLabelOnly "projection label" scope ss nsid label