[Haskell-cafe] type metaphysics

[Lutz Donnerhacke]

* Martijn van Steenbergen wrote:
> Int has 2^32 values, just like in Java.

Haskell Report 6.4 (revised):
  The finite-precision integer type Int covers at least
  the range [ - 2^29, 2^29 - 1].