normalize (App (Lam var body) arg) = normalize $ subst var arg body
normalize (App (Lam var body) arg) = normalize $ subst var arg body
normalize (App (Lam var body) arg) = normalize $ subst var arg body