normalize :: Val -> Val
normalize (Lam var body) = Lam var $ normalize body
normalize :: Val -> Val
normalize (Lam var body) = Lam var $ normalize body
normalize (Lam var body) = Lam var $ normalize body