Hello, I m having some difficulties with the following thing: I've made a class which looks somehow like this: class A a where inc::a->a .... now, when I want to make a instance of it with type Int and define the function inc like this: instance A Int where inc a = a + 1 I can't make a call to it when I enter the folowing inc 5 (When I type inc 5::Int it does the job perfectly, because I explicitly say 5 is an Integer, but how can I tell the program 5 is an Int?????ithout saying it explicitly in the prompt) What s being the problem here?? Am I overlooking something here? If you can help me... don't hesitate to contact me Thx, a haskell-lover _________________________________________________________________ Verzend en ontvang Hotmail via je mobieltje: http://mobile.msn.com