translateExpression _ _ _ (L1.L1ExCase ss _ (Right _)) =
  fail $ "Internal Compiler Error - non-closed case remains after desugar, at " ++ (show ss)
translateExpression _ _ _ (L1.L1ExCase ss _ (Right _)) =
  fail $ "Internal Compiler Error - non-closed case remains after desugar, at " ++ (show ss)
translateExpression _ _ _ (L1.L1ExCase ss _ (Right _)) =
  fail $ "Internal Compiler Error - non-closed case remains after desugar, at " ++ (show ss)