Hello Sai, Monday, May 5, 2008, 7:52:29 PM, you wrote: > class MyString m c where it should be class MyString m c | m->c where so ghc will realize that same m means the same c. read about "functional dependencies" in ghc user manual -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com