Simplifier doesn't preserve bottoms sometimes
Here's a test due to Iavor Diatchki
[iavor.diatchki@gmail.com]:
>> test2 :: Bool
>> test2 = stops (bot ())
>> where
>> stops :: Int# -> Bool
>> stops _ = True
ghc 6.4 gives the value True for test2.