if you enter :t 2^5000 in hugs, it gives: 2 ^ 5000 :: (Integral a, Num b) => b which is obviously wrong (since a appears nowhere), but it's also obvious why it does this. any chance this'll be fixed? - hal -- Hal Daume III "Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume