Fix the GHCi debugger so that it can recognise Integers again