- 01/26/10 16:36:27 (7 years ago)
v5 v6 6 6 * Provide a fine-grained [wiki:Algebra algebra]. 7 7 * Provide convenient facilities for type composition and generic folds/unfolds. 8 * Imp lement a declarative [wiki:IO] system? 8 * Imp 9 9 * Unambiguous semantics, when possible. When there is more than one possible instance of a type class for one data type, use newtype wrappers for all of those instances (no instance for the unwrapped version).