This is probably not possible, since I already checked the list of all GHC extensions and this is not in there, but I thought I'd ask just in case.
Is there any way to make it so that 2 has type Int (or Integer) rather than the usual Num a => a?
(The reason I'd like this behavior is that it makes error messages clearer and type inference more likely to be possible (esp with type classes). I could always write (2::Int) everywhere but I'd rather the "more safe" behavior be the less explicit one)