What does the `Integers` comment mean? Nothing in the type signature indicates that it's just integers.

(Also, it would be good to add an example now, rather than have to do it later.)