For the example of the previous message, the type inference of zero = 0 yields Integer. Though if we write zero:: Num a => a zero = 0 the type together with the function it is succesfully type checked. The type inference does not yield the most general type though the type checking is doing it properly. Paula ********************************************************************* Centro de Matematica, Facultad de Ciencias Igua 4225 esq. Mataojo, CP 11400. Montevideo, Uruguay severi@cmat.edu.uy Tel. 598 2 5252183 (int. 128) Fax 598 2 5220653 *********************************************************************