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

-- Secret syntactic weakening
synthExpr _ _ _ (Val s _ (StringLiteral c)) = do
  let t = TyCon $ mkId "String"
  return (t, [], [], Val s t (StringLiteral c))

-- Secret syntactic weakening
synthExpr _ _ _ (Val s _ (StringLiteral c)) = do
  let t = TyCon $ mkId "String"
  return (t, [], [], Val s t (StringLiteral c))

-- Secret syntactic weakening