translateExpression _ _ _ (L1.L1ExFCase ss _ _) =
  fail $ "Internal Compiler Error - fcase remains after desugar, at " ++ (show ss)
translateExpression _ _ _ (L1.L1ExFCase ss _ _) =
  fail $ "Internal Compiler Error - fcase remains after desugar, at " ++ (show ss)
translateExpression _ _ _ (L1.L1ExFCase ss _ _) =
  fail $ "Internal Compiler Error - fcase remains after desugar, at " ++ (show ss)