Next: Compile-Time Computation, Previous: User-Defined Types Classes, Up: Summary of Modules/Areas and Topics [Contents]