Dead right. Good bug, thank you. It shouldn't be legal, but it shouldn't crash the compiler. We won't fix this in 4.08, but it's fixed in future releases Simon | -----Original Message----- | i seem to have stumbled onto a bug in ghc. | here is my system info: | | > class (?imp :: Int) => C t | > Prelude.(!!): index too large