[Haskell-beginners] "In several chapters there is a penetrating conceptual analysis of the matter at hand, on which a superstructure of code is erected."