How is this the same thing? - polymorphic lambda calculus: Lambda calculus with generics - lazy evaluation: Well, lazy evaluation. Not sure how else to descri

How is this the same thing? - polymorphic lambda calculus: Lambda calculus with generics - lazy evaluation: Well, lazy evaluation. Not sure how else to describe this - algebraic data types: Again, how else to describe this? Put in a full description of what algebraic data types are? - type classes: Haskell has type classes. I really don't see what the problem is. If you're coming in to an article about dependent types, and you don't know what these things are, I think don't think the reasonable response is for the author to explain all of it to the reader. This isn't a beginner's introduction to Haskell.