translateUnitExpression scope _ nsid (L1.L1UnitPow ss expr1 powerOf) =
  L2.L2UnitPow ss <$> (translateUnitExpression scope ss nsid expr1)
                  <*> (pure powerOf)
translateUnitExpression scope _ nsid (L1.L1UnitPow ss expr1 powerOf) =
  L2.L2UnitPow ss <$> (translateUnitExpression scope ss nsid expr1)
                  <*> (pure powerOf)
translateUnitExpression scope _ nsid (L1.L1UnitPow ss expr1 powerOf) =
  L2.L2UnitPow ss <$> (translateUnitExpression scope ss nsid expr1)
                  <*> (pure powerOf)