Expression for defining recursive function using rec in Haskell

Question

How do I use recursive function in Haskell?

data Expr = Var Nm  | Lam (Nm,Ty) Expr | App Expr Expr
      | Val Int | Add Expr Expr | If Expr Expr Expr
      |