synthExpr _ _ _ (Val s _ (NumFloat n)) = do
  let t = TyCon $ mkId "Float"
  return (t, [], [], Val s t (NumFloat n))
synthExpr _ _ _ (Val s _ (NumFloat n)) = do
  let t = TyCon $ mkId "Float"
  return (t, [], [], Val s t (NumFloat n))
synthExpr _ _ _ (Val s _ (NumFloat n)) = do
  let t = TyCon $ mkId "Float"
  return (t, [], [], Val s t (NumFloat n))