How to implement a function that lazy evaluates a lamba calculus in Haskell?

Question

Hey I implemented this LExpr Data Type in Haskell, which is an implementation of the Lambda Calculus.

The definition of LExpr:

> data LExpr
>   = Var