haskell - Haskell でコンビネータと式 (ラムダ) を定義するために使用される eval 関数を理解する

Question

どちらeval (App x y)の場合もApp x y. 最後にあるeval (App x y)ので、必要なのかどうか疑問に思います。eval x = xeval (App x y)

data Expr = App Expr Expr | S | K | I | Var String | Lam String Expr deriving (Show,Eq)
eval :: Exp -> Exp
eval (App I x) = eval x 
eval (App (App K x) y) = eval x
eval (App (App (App S f) g) x) = eval (App (App f x) (App g x))
eval (App x y)
 | evalx == x  = (App evalx (eval y)) --test if x is a Lam (not other possible values of Exp)
 | otherwise = eval (App evalx y)
     where evalx = eval x
eval (Var x) = (Var x)
eval x = x