synthExpr _ _ _ (Val s _ (CharLiteral c)) = do
  let t = TyCon $ mkId "Char"
  return (t, [], [], Val s t (CharLiteral c))
synthExpr _ _ _ (Val s _ (CharLiteral c)) = do
  let t = TyCon $ mkId "Char"
  return (t, [], [], Val s t (CharLiteral c))
synthExpr _ _ _ (Val s _ (CharLiteral c)) = do
  let t = TyCon $ mkId "Char"
  return (t, [], [], Val s t (CharLiteral c))