translateUnitExpression scope _ nsid (L1.L1UnitExTimes ss expr1 expr2) =
  L2.L2UnitExTimes ss <$> translateUnitExpression scope ss nsid expr1
                      <*> translateUnitExpression scope ss nsid expr2
translateUnitExpression scope _ nsid (L1.L1UnitExTimes ss expr1 expr2) =
  L2.L2UnitExTimes ss <$> translateUnitExpression scope ss nsid expr1
                      <*> translateUnitExpression scope ss nsid expr2
translateUnitExpression scope _ nsid (L1.L1UnitExTimes ss expr1 expr2) =
  L2.L2UnitExTimes ss <$> translateUnitExpression scope ss nsid expr1
                      <*> translateUnitExpression scope ss nsid expr2