Expression for defining letrec in Haskell

Question

I\'m writing an evaluator for a little expression language, but I\'m stuck on the LetRec construct.

This is the language:

data Expr = Var Nm  | Lam (Nm