Re: [Haskell] Re: lambda calculus theory