DoCon, the Algebraic Domain Constructor

The DoCon computer algebra system implements recently a good-sized piece of commutative algebra. One of the project aims is to test the efficiency of a real-world CA system based on pure functionality and "lazy" computation. Algebraic category hierarchy is expressed mostly by the Haskell type classes, domains - by class instances. But domains are also described by explicit expressions.