Hi Russell and others, Please "cc" me on all responses to my post 'universal algebra "support" in Haskell'. I am interested in algebras and non-algebras like pre-order, post-order, etc. support in Haskell! Thanks, Vasili