purescript/purescript — pull request #614 by jdegoes (2014-09-26 21:08:48+00:00)
Title: sketch out what an Int type could look like in the prelude

More intended for conversation but illustrates what I'd like to see in Prelude. There's a guarantee that an `Int` will always be integral so it's much safer to use for things like array indexing, case matching, etc.