translateExpression _ _ _ (L1.L1ExLambda ss _ _) = do
  fail $ "Internal Compiler Error: Non-simple lambda pattern remains after desugar, at " ++ (show ss)
translateExpression _ _ _ (L1.L1ExLambda ss _ _) = do
  fail $ "Internal Compiler Error: Non-simple lambda pattern remains after desugar, at " ++ (show ss)
translateExpression _ _ _ (L1.L1ExLambda ss _ _) = do
  fail $ "Internal Compiler Error: Non-simple lambda pattern remains after desugar, at " ++ (show ss)