On 28/05/07, Rodrigo Queiro <overdrigzed at gmail.com> wrote: > After a little too long trying, I managed to get code from which the type > system will infer that type, without using 'undefined': Yes, but you do it by writing a coerce :: a -> b, which is surely cheating. -- -David House, dmhouse at gmail.com