Marcin 'Qrczak' Kowalczyk wrote: > I'm against removing Eq from the numeric hierarchy, against making Num > instances for functions, but I would probably remove Show. I haven't > seen a sensible proposal of a replacement of the whole hierarchy. > Then we probably are in agreement. --brian