Prob with numeric values

[Tom Schrijvers]

> 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

This appears to be a question based on the exam of our declarative
languages course. Please consult Bart Demoen, Remko Troncon or me with
your questions.

Cheers,

Tom