Hello haskell-cafe, i've added section http://haskell.org/haskellwiki/OOP_vs_type_classes#Everything_is_object.3F which lists cases when we DON'T use type classes to emulate OOP classes features -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com