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