Jonathan Cast wrote: > Haskell already has a couple of abstraction tools for dealing with code. > One is called `first-class functions'; another is called `lazy > evaluation'. And for all the rest there is TH? M.